CnC: Selected Testees
We have reused the testees of JCrasher.
Programming Homeworks
The following testees are taken from first-year students' programming homeworks.
CnC detects several robustness problems. Some of them are bugs.
CnC detects a superset of the bugs JCrasher has found.
P1s1.java is the same testee as P1.java [s1] of the
JCrasher examples.
We ran CnC 0.4.10 using its ANT automation.
The ANT build file packages the results of its execution as a zip archive containing the following:
- the ANT build file itself
- the list of testees as a text file, which is used by the ANT build file
- the JUnit test cases generated by CnC
- the reports generated by CnC and JUnit as text files
See the download page for a
more detailed description of how to obtain these results.