Online test generation for transition and scenario coverage in an industrial setting

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.