Table 4: Siemens program suite.

Program NameVersions omittedNo. versionsNo. linesNo. test cases

print_tokens4, 674754130
print_tokens210104014115
replace27, 32325125542
schedule3, 5, 6, 7, 8, 992922649
schedule29102972710
tcas38411351608
tot_infonone233461052