Paper Info
Title
VarFix: balancing edit expressiveness and search effectiveness in automated program repair
Abstract
ABSTRACTAutomatically repairing a buggy program is essentially a search problem, searching for code transformations that pass a set of tests. Various search strategies have been explored, but they either navigate the search space in an ad hoc way using heuristics, or systemically but at the cost of limited edit expressiveness in the kinds of supported program edits. In this work, we explore the possibility of systematically navigating the search space without sacrificing edit expressiveness. The key enabler of this exploration is variational execution, a dynamic analysis technique that has been shown to be effective at exploring many similar executions in large search spaces. We evaluate our approach on IntroClassJava and Defects4J, showing that a systematic search is effective at leveraging and combining fixing ingredients to find patches, including many high-quality patches and multi-edit patches.
Year
DOI
Venue
2021
10.1145/3468264.3468600
FSE
Keywords
DocType
Citations 
automatic program repair, variational execution
Conference
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Chu-Pan Wong11035.04
Priscila Santiesteban200.34
Christian Kästner33591135.92
Claire Le Goues4176668.79