Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis

• Published in: Proceedings / International Conference on Software Engineering pp. 691 - 701
• Main Authors: Mechtaev, Sergey, Jooyong Yi, Roychoudhury, Abhik
• Format: Conference Proceeding
• Language: English
• Published: ACM 01.05.2016
• Subjects: Automated program repair; Computer bugs; Maintenance engineering; Scalability; Semantic analysis; Semantics; Software; Software engineering; Testing

Since debugging is a time-consuming activity, automated program repair tools such as GenProg have garnered interest. A recent study revealed that the majority of GenProg repairs avoid bugs simply by deleting functionality. We found that SPR, a state-of-the-art repair tool proposed in 2015, still del...