Published January 20, 2022
| Version ValidatorEvaluation-artifact-SAS22-proceedings
Dataset
Open
Reproduction Package for SAS 2022 Article 'Case Study on Verification-Witness Validators: Where We Are and Where We Go'
Authors/Creators
- 1. LMU Munich, Germany
- 2. Masaryk University, Brno, Czechia
Description
This artifact is a reproduction package for the SAS 2022 article 'Case Study on Verification-Witness Validators: Where We Are and Where We Go'.
It contains instructions, data, and scripts for reproducing our results, and the data and tables that we generated in our experiment.