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

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

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

Full description

Saved in:
Bibliographic Details
Main Authors: LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, LE GOUES, Claire, VISSER, Willem
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2017
Subjects:
Inductive synthesis
Program repair
Programming by examples
Symbolic execution
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/3917
https://ink.library.smu.edu.sg/context/sis_research/article/4919/viewcontent/s3.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/3917
https://ink.library.smu.edu.sg/context/sis_research/article/4919/viewcontent/s3.pdf

Similar Items