Our program generator can create programs having the same value for the static measures, as well as programs having different values for the measures. In addition, the 800 available generated programs are characterized by having a 100\% coverage, thus all possible branches are reachable.

In the .zip file there are 800 programs with the values in these ranges, e.g., nesting degree in 1-4 (25\% for each value), atomic conditions per condition in 1-4 (68.43\% with 4 conditions per decision), and statements in 25, 50, 75 or 100 (25\% for each value). The percentage of control flow statements is 32.23\% (in this work we use IF statements), this means that the test case generator should cover around 64 different branches (32 true and 32 false) in programs with 100 statements.

Attachments:

File	Description	File size
800SyntheticPrograms		571 Kb