Experiment Archive for SAS 2018 Submission 19

Artifact

The VirtualBox image containing artifacts presented in submission-19 can be downloaded from: image

How to use this image

1. Install Oracle VirtualBox
2. Import this image by clicking "File->Import Appliance ..." in VirtualBox
3. Launch the Lubuntu system and log in with username "sas2018" and password "sas2018"
4. The folder "experiments" containing all the experiments presented in this
   paper. It is placed in the "~/Desktop" directory, hence it appears on the
   desktop. Simply typing "make" under each sub-directory runs the experiments.

The experiment archive can be downloaded from here.
The CIVL v1.13 can be downloaded from here.