Researchers have proposed many automated program repair techniques for imperative languages, e.g. Java. However, little work has been done to repair programs written in declarative languages, e.g. Alloy. We proposed ARepair, the first automated program repair technique for faulty Alloy models. ARepair takes as input a faulty Alloy model and a set of tests that capture the desired model properties, and produces a fixed model that passes all tests. ARepair uses tests written for the recently introduced AUnit framework, which provides a notion of unit testing for Alloy models. In this paper, we describes our Java implementation of ARepair, which is a command-line tool, released as an open-source project on GitHub. Our experimental results show that ARepair is able to fix 28 out of 38 real-world faulty models we collected. The demo video for ARepair can be found at https://youtu.be/436drvWvbEU.
Fri 31 May
14:00 - 15:30: Papers - Specifications and Models at Van-Horne Chair(s): Sylvain HalléUniversité du Québec à Chicoutimi, Canada | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 14:20 Talk | Claudio MenghiUniversity of Luxembourg, SnT, Christos TsigkanosTechnische Universität Wien, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Patrizio PelliccioneChalmers | University of Gothenburg and University of L'Aquila | |||||||||||||||||||||||||||||||||||||||||
14:20 - 14:40 Talk | Shahar MaozTel Aviv University, Jan Oliver RingertTel Aviv University, Rafi ShalomTel Aviv University | |||||||||||||||||||||||||||||||||||||||||
14:40 - 15:00 Talk | Kaiyuan WangGoogle, Inc., Allison SullivanNorth Carolina Agriculture and Technical State University, Sarfraz KhurshidUniversity of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
15:00 - 15:20 Talk | Gianluca BarbonUniversité Grenoble Alpes, Inria, LIG, Vincent LeroyUniversity of Grenoble - CNRS, Gwen SalaünUniversity of Grenoble Alpes, Emmanuel YahUniversité Grenoble Alpes | |||||||||||||||||||||||||||||||||||||||||
15:20 - 15:30 Talk |