Artefact for Middleware2019 Publication

Stable code for artefact submission of Middleware 2019 publication

Supporting tools version:

Camflow: v0.4.5 (dnf 0.7.6-1)
OPUS: v0.1.0.26 (For Unix)
SPADE: v2.0 (git tag tc-e3)

Remark: Sample OVA file for the three virtual machines has been included. As the OVA file for the VM with CamFlow installation is too large, it has been split into two, you need to download both parts and execute the following command to retrieve the OVA file for that VM.

cat ProvMark-CamFlow-VM.ova.part* > ProvMark-CamFlow-VM.ova

Merging v4 of master branch to evaulation branch

Version after merging changes and bug fixes from master branch to the evaluation branch.

Warning: This version is not fully tested yet, it just tag the latest code when all changes and bug fixes of v4 in the master branch had been merged to the newest evaluation code, testing needed to be done later before the actual evaluation code can be released.

Supporting tools version:

Camflow: v0.4.3 (dnf 0.7.4-1)
Camflow: v0.4.5 (dnf 0.7.6-1)
OPUS: v0.1.0.26 (For Unix)
SPADE: v2.0 (git tag tc-e3)

Remark:
with non-determinism support
with self-evaluation support
New starting script
With graph filtering mechanism
Not testing after merging

v4

Stable code for ISSTA 2019 publication

Supporting tools version:

Camflow: v0.4.3 (dnf 0.7.4-1)
Camflow: v0.4.5 (dnf 0.7.6-1)
OPUS: v0.1.0.26 (For Unix)
SPADE: v2.0 (git tag tc-e3)

Remark:
with non-determinism support
No self-evaluation code
Old starting script
With graph filtering mechanism

v3

Supporting tools version:

Camflow: v0.4.3 (dnf 0.7.4-1)
OPUS: v0.1.0.26 (For Unix)
SPADE: v2.0 (git tag tc-e3)

v2

Full deterministic and non-deterministic handling, with no guarantee of full branches execution.