QLOSE: Program repair with quantitative objectives Conference Paper

Author(s): D'Antoni, Loris; Samanta, Roopsha; Singh, Rishabh
Title: QLOSE: Program repair with quantitative objectives
Title Series: LNCS
Affiliation IST Austria
Abstract: The goal of automatic program repair is to identify a set of syntactic changes that can turn a program that is incorrect with respect to a given specification into a correct one. Existing program repair techniques typically aim to find any program that meets the given specification. Such “best-effort” strategies can end up generating a program that is quite different from the original one. Novel techniques have been proposed to compute syntactically minimal program fixes, but the smallest syntactic fix to a program can still significantly alter the original program’s behaviour. We propose a new approach to program repair based on program distances, which can quantify changes not only to the program syntax but also to the program semantics. We call this the quantitative program repair problem where the “optimal” repair is derived using multiple distances. We implement a solution to the quantitative repair problem in a prototype tool called Qlose (Quantitatively close), using the program synthesizer Sketch. We evaluate the effectiveness of different distances in obtaining desirable repairs by evaluating Qlose on programs taken from educational tools such as CodeHunt and edX.
Keywords: semantics; Quantitative objectives; Specifications; Computer aided analysis; New approaches; Automatic programs; Educational tools; Novel techniques; Program semantics; Prototype tools; Repair techniques; Syntactics
Conference Title: CAV: Computer Aided Verification
Volume: 9780
Conference Dates: July 17 - 23, 2016
Conference Location: Toronto, Canada
Publisher: Springer  
Date Published: 2016-07-13
Start Page: 383
End Page: 401
DOI: 10.1007/978-3-319-41540-6_21
Notes: This research was supported in part by the European Research Council (ERC) under grant 267989 (QUAREM) and by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award). The authors would like to thank the anonymous reviewers for their insightful feedback. Roopsha Samanta would like to thank Krishnendu Chatterjee and Tom Henzinger for inspiring discussions on quantitative repair for reactive systems.
Open access: no
IST Austria Authors
Related IST Austria Work