Published August 1, 2022
| Version 2.8.1
Software
Open
Artifact of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
Authors/Creators
- 1. University of Rio Cuarto and CONICET
- 2. University of Rio Cuarto
- 3. University of Nebraska-Lincoln
- 4. George Mason University
- 5. Buenos Aires Institute of Technology and CONICET
Description
ICEBAR is a technique based on ARepair that takes a buggy model and a property based oracle (both written in Alloy). It uses the oracle to check the model and strengthen a test suite from counterexamples when found. The buggy model alongside a test suite is passed to ARepair, if a fix is found, this is checked against the property based oracle to check if it's a correct fix, if not, then the process repeats until a given bound.
Notes
ICEBAR repository can be found at https://github.com/saiema/ICEBAR
ICEBAR site can be found at https://sites.google.com/view/icebar-evaluation
Files
ICEBAR-2.8.1.zip
Files
(80.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:fb9a688645388ee88411946945510242
|
80.1 MB | Preview Download |