ICSE 2017 verifiability package

We publicly released the SUSHI tool and the experiments as a set of five Github projects. The first two projects are the tool itself:

• • SUSHI, the test case generator for Java programs;

  • SUSHI-lib, the runtime library that evaluates SUSHI fitness functions from path conditions.

The remaining three projects contain the code of the experiments reported in the paper:

• • Google Closure experiment, bug 01;

  • Google Closure experiment, bug 72;

  • Data structures, GanttProject and TSAFE experiments.

To facilitate the replicability of the experiments in the paper, we also provide a download link to a VirtualBox virtual machine containing the exact experimental setup that we used to produce the experimental data reported in the paper:

• • VirtualBox virtual machine; note that it is a huge download, ~3.5 GB, and when uncompressed it will occupy ~12 GB.