Integrated tests for ProgramExecutor