Enhancing automated program repair with deductive verification

• Main Authors: LE, Xuan-Bach D., LE, Quang Loc, LO, David, GOUES, Claire Le
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2016
• Subjects: Sound Repair; Automated Repair; Genetic Programming; Deductive Verification; Computer bugs; Semantics; Genetic programming; Syntactics; Benchmark testing; Prototypes; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/3753; https://ink.library.smu.edu.sg/context/sis_research/article/4755/viewcontent/3806a428.pdf
• Institution: Singapore Management University

Automated program repair (APR) is a challenging process of detecting bugs, localizing buggy code, generating fix candidates and validating the fixes. Effectiveness of program repair methods relies on the generated fix candidates, and the methods used to traverse the space of generated candidates to...