This is a repository containing the files for the experimental evaluation of the Ada Europe 2016 paper:

Change-based Testing for Ada

Please contact Andrew V. Jones for further information on this evaluation:

• [email protected]

The sources for this repository come from:

• malaise/ada

We refer to:

• http://pmahome.cigecompta.fr/ada/html/REPOSIT_LIST.html

for further details.

No ownership over this code, implied or otherwise, is claimed. If you wish to reuse the contents of src/, please consult malaise/ada.

The VectorCAST-specific files for this evaluation are stored in the vcast/ADA_EUROPE_2016 subdirectory.

A VectorCAST/Manage license is required to re-perform the evaluation.

These artefacts are provided under the Creative Commons Attribution-NonCommercial (CC BY-NC) license.

The script vcast/evaluation_runner.py will re-run the whole (deterministic) evaluation and create output reports from running the evaluation under a specific version of VectorCAST.

The script is licensed under MIT (see vcast/LICENSE).