---
res:
  bibo_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’s 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. @eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Xuan
      foaf_name: Le, Xuan
      foaf_surname: Le
  - foaf_Person:
      foaf_givenName: Duc Hiep
      foaf_name: Chu, Duc Hiep
      foaf_surname: Chu
      foaf_workInfoHomepage: http://www.librecat.org/personId=3598E630-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: David
      foaf_name: Lo, David
      foaf_surname: Lo
  - foaf_Person:
      foaf_givenName: Claire
      foaf_name: Le Goues, Claire
      foaf_surname: Le Goues
  - foaf_Person:
      foaf_givenName: Willem
      foaf_name: Visser, Willem
      foaf_surname: Visser
  bibo_doi: 10.1145/3106237.3106309
  bibo_volume: F130154
  dct_date: 2017^xs_gYear
  dct_identifier:
  - UT:000414279300055
  dct_isPartOf:
  - http://id.crossref.org/issn/978-145035105-8
  dct_language: eng
  dct_publisher: ACM@
  dct_title: 'S3: Syntax- and semantic-guided repair synthesis via programming by
    examples@'
...