Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021

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 program 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 program 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. 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.

Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

20:50 - 21:50
3.6.2. Program Repair: General IssuesTechnical Track at Blended Sessions Room 2 +12h
Chair(s): Sira Vegas Universidad Politecnica de Madrid
20:50
20m
Paper
Bounded Exhaustive Search of Alloy Specification RepairsArtifact ReusableTechnical TrackArtifact Available
Technical Track
Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis University of Rio Cuarto, Argentina, Guolong Zheng University of Nebraska Lincoln, Hamid Bagheri University of Nebraska-Lincoln, ThanhVu Nguyen University of Nebraska, Lincoln, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Pre-print Media Attached
21:10
20m
Paper
Shipwright: A Human-in-the-Loop System for Dockerfile RepairArtifact ReusableTechnical TrackArtifact Available
Technical Track
Jordan Henkel University of Wisconsin--Madison, Denini Silva Federal University of Pernambuco, Leopoldo Teixeira Federal University of Pernambuco, Marcelo d'Amorim Federal University of Pernambuco, Thomas Reps University of Wisconsin--Madison
Pre-print Media Attached
21:30
20m
Paper
CURE: Code-Aware Neural Machine Translation for Automatic Program RepairTechnical Track
Technical Track
Nan Jiang Purdue University, Thibaud Lutellier University of Waterloo, Lin Tan Purdue University
Pre-print Media Attached

Fri 28 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 09:50
3.6.2. Program Repair: General IssuesTechnical Track at Blended Sessions Room 2
08:50
20m
Paper
Bounded Exhaustive Search of Alloy Specification RepairsArtifact ReusableTechnical TrackArtifact Available
Technical Track
Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis University of Rio Cuarto, Argentina, Guolong Zheng University of Nebraska Lincoln, Hamid Bagheri University of Nebraska-Lincoln, ThanhVu Nguyen University of Nebraska, Lincoln, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Pre-print Media Attached
09:10
20m
Paper
Shipwright: A Human-in-the-Loop System for Dockerfile RepairArtifact ReusableTechnical TrackArtifact Available
Technical Track
Jordan Henkel University of Wisconsin--Madison, Denini Silva Federal University of Pernambuco, Leopoldo Teixeira Federal University of Pernambuco, Marcelo d'Amorim Federal University of Pernambuco, Thomas Reps University of Wisconsin--Madison
Pre-print Media Attached
09:30
20m
Paper
CURE: Code-Aware Neural Machine Translation for Automatic Program RepairTechnical Track
Technical Track
Nan Jiang Purdue University, Thibaud Lutellier University of Waterloo, Lin Tan Purdue University
Pre-print Media Attached