- author = "Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire {Le Goues} and Willem Visser",
- title = "{S3}: Syntax- and Semantic-guided Repair Synthesis via Programming by Examples",
- booktitle = "Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017",
- year = "2017",
- editor = "Eric Bodden and Wilhelm Schaefer",
- pages = "593--604",
- address = "Paderborn, Germany",
- month = "408 " # sep,
- publisher = "ACM",
- keywords = "genetic algorithms, genetic programming, genetic improvement, Inductive Synthesis, Program Repair, Programming by Examples, Symbolic Execution",
- isbn13 = "978-1-4503-5105-8",
- acmid = "3106309",
-
URL = "
https://www.cs.cmu.edu/~clegoues/docs/legoues-esecfse17.pdf",
-
URL = "
http://doi.acm.org/10.1145/3106237.3106309",
-
DOI = "
doi:10.1145/3106237.3106309",
- abstract = "A notable class of techniques for automatic program repair is known as semantics-based. Such techniques, e.g., Angelix, infer semantic specifications via symbolic execution, and then use program synthesis to construct new code that satisfies those inferred specifications. However, the obtained specifications are naturally incomplete, leaving the synthesis engine with a difficult task of synthesizing a general solution from a sparse space of many possible solutions that are consistent with the provided specifications but that do not necessarily generalize. We present S3, a new repair synthesis engine that leverages programming-by-examples methodology to synthesize high-quality bug repairs. The novelty in S3 that allows it to tackle the sparse search space to create more general repairs is three-fold: (1) A systematic way to customize and constrain the syntactic search space via a domain-specific language, (2) An efficient enumeration- based search strategy over the constrained search space, and (3) A number of ranking features based on measures of the syntactic and semantic distances between candidate solutions and the original buggy program. We compare S3 repair effectiveness with state-of-the-art synthesis engines Angelix, Enumerative, and CVC4. S3 can successfully and correctly fix at least three times more bugs than the best baseline on datasets of 52 bugs in small programs, and 100 bugs in real-world large programs.",
-
notes = "Is this GP? SYNTH-LIB intro class benchmark
https://github.com/Spirals-Team/IntroClassJava
\cite{durieux:hal-01272126} Port of Angelix to
Java
http://esec-fse17.uni-paderborn.de/ Also known as \cite{Le:2017:SSS:3106237.3106309}",
