Bounded Exhaustive Search of Alloy Specification Repairs.
Saved in:
| Title: | Bounded Exhaustive Search of Alloy Specification Repairs. |
|---|---|
| Authors: | Gutiérrez Brida, Simón1,2, Regis, Germán1, Guolong Zheng3, Bagheriz, Hamid3, ThanhVu Nguyenz3, Aguirre, Nazareno1,2, Frias, Marcelo2,4 |
| Source: | ICSE: International Conference on Software Engineering. 5/22/2021, p1135-1147. 13p. |
| Subjects: | Declarative programming languages, Debugging, Artificial intelligence, Computer science, Software engineers |
| Abstract: | The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However, despite significant advances in the program repair of imperative languages, there is a dearth of repair techniques for declarative languages. This paper presents BeAFix, 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 formal declarative languages. Our experience with using BeAFix to repair thousands of real-world faulty models, collected by other researchers, corroborates its ability to effectively generate correct repairs and outperform the state-of-the-art. [ABSTRACT FROM AUTHOR] |
| Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
