Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 14:40 - 15:00 at Van-Horne - Specifications and Models Chair(s): Sylvain Hallé

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

Fri 31 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

14:00 - 15:30: Papers - Specifications and Models at Van-Horne
Chair(s): Sylvain HalléUniversité du Québec à Chicoutimi, Canada
icse-2019-Demonstrations14:00 - 14:20
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
icse-2019-Technical-Papers14:20 - 14:40
Shahar MaozTel Aviv University, Jan Oliver RingertTel Aviv University, Rafi ShalomTel Aviv University
icse-2019-Demonstrations14:40 - 15:00
Kaiyuan WangGoogle, Inc., Allison SullivanNorth Carolina Agriculture and Technical State University, Sarfraz KhurshidUniversity of Texas at Austin
icse-2019-Demonstrations15:00 - 15:20
Gianluca BarbonUniversité Grenoble Alpes, Inria, LIG, Vincent LeroyUniversity of Grenoble - CNRS, Gwen SalaünUniversity of Grenoble Alpes, Emmanuel YahUniversité Grenoble Alpes
icse-2019-Paper-Presentations15:20 - 15:30