Published August 27, 2021
| Version 2.1.12
Software
Open
BeAFix ASE 2021 Artifact
Authors/Creators
- 1. University of Río Cuarto
- 2. University of Nebraska-Lincoln
- 3. George Mason University
- 4. Buenos Aires Institute of Technology
Description
BeAFix is an automated repair technique for faulty models written in Alloy, a declarative language based on first-order relational logic. BeAFix is backed with a novel strategy for bounded exhaustive, yet scalable, exploration of the spaces of fix candidates and a formally rigorous, sound pruning of such spaces. Moreover, different from the state-of-the-art in Alloy automated repair, that relies on the availability of unit tests, BeAFix does not require tests and can work with assertions that are naturally used in declarative languages.
Files
BeAFixASE2021ToolArtifact.zip
Files
(55.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:452f8130359acb9dbf50e5f29468c5dd
|
55.7 MB | Preview Download |