S3: syntax- and semantic-guided repair synthesis via programming by examples

@inproceedings{Le2017S3SA,
  title={S3: syntax- and semantic-guided repair synthesis via programming by examples},
  author={Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser},
  booktitle={ESEC/SIGSOFT FSE},
  year={2017}
}
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… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS
23 Citations
12 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 23 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 12 references

Similar Papers

Loading similar papers…