SEFM2018 Submission
Pre-release
Pre-release
Attestor version used within SEFM2018 submission.
Installation instructions and further information about the tool are found here.
For a collection of benchmarks, please confer this repository.
Binaries are also found in maven central.