
This is an artefact accompanying the paper titled 'Online test generation for transition and scenario coverage in an industrial setting'. The artefact is a fully functional Eclipse CommaSuite 3.1.0 distribution that contains an example project (Vending Machine Joker Testing Example) for reproducing the experiments reported in the paper. Usage: unzip and run CommaSuite.exe. Load the example via File → New → Example... → Vending Machine Joker Testing Example. The README.txt file in the root of the project contains explanation how to run the experiments.
