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

Similar Items