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

2017引用 223
DOI
Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
企业软件Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
关系图谱

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

W

Willem Visser

C

Claire Le Goues

D

David Lo

D

Duc-Hiep Chu

X

Xuan-Bach D. Le