Sosified programs

The following table provides pointers to the source code of all programs that we used for our experiments on sosie synthesis (exact versions of the program and its dependencies), as well as a few descriptive statistics about these programs.

Program #LoC #classes #test cases #assertions coverage
JUnit 8056 170 721 1535 82%
EasyMock 4544 81 617 924 91%
Dagger 1485 23 128 210 85%
JBehave-core 13173 188 485 1451 89%
Metrics 4066 56 214 312 79%
commons-collections 23559 285 1121 5397 84%
commons-lang 22521 112 2359 13681 94%
commons-math 84282 803 3544 9559 92%
clojure 36615 150 N/A N/A 71%