CLsmith

This page hosts detailed information about all the results we talk about in our PLDI 2015 paper. All of it is available for download here, but the following can be individually downloaded:

Generating tables from the paper

NOTE: this step requires Python (>=3.0).

In order to generate the tables from the raw data, download it from here. Go to the folder you wish to generate the table for (either clsmith for RDT or clsmith+emi for EMI) and run the python script contained inside. Then compile wrapper.tex with your LaTeX editor of choice. The result will correspond to Table 4 for RDT testing and Table 5 for EMI testing.