]>

Table 1: Programs used in the Evaluation.

Program LoC Blocks Decisions Test Pool Size Print_tokens 726 126 123 4,130 Print_tokens2 570 103 154 4,115 Schedule 412 46 56 2,650 Schedule2 374 53 74 2,710 Space 9,564 869 1,068 13,585