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

• المؤلفون الرئيسيون: LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, LE GOUES, Claire, VISSER, Willem
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2017
• الموضوعات: Inductive synthesis; Program repair; Programming by examples; Symbolic execution; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/3917; https://ink.library.smu.edu.sg/context/sis_research/article/4919/viewcontent/s3.pdf
• المؤسسة: Singapore Management University

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 speci...