Angelix swMATH ID: 26887 Software Authors: S. Mechtaev, J. Yi, A. Roychoudhury Description: Angelix: Semantics-based test-driven automated program repair tool for C programs. Automated program repair. The once-futuristic idea of automated program repair is gradually becoming a reality. Several approaches for automatically fixing bugs have been proposed recently. They can be classified into search-based methods and semantics-based methods. Our semantic analysis based repair tool Angelix synthesizes repairs based on semantic information of the program and scales up to real-world software. Furthermore, our repair method can repair multiple buggy locations that are dependent on each other. In our experiments, Angelix generated repairs from large-scale programs such as Wireshark and Php. We also successfully generated a patch for the well-known Heartbleed vulnerability. Homepage: http://angelix.io/ Related Software: Prophet; SemFix; GZoltar; Nopol; ASTOR; GenProg; DLFix; DeepFix; QuixBugs; Codeflaws; Qlose; JFIX; Defects4J; jGenProg; ARJA; jMetal; DART; jCUTE; CIL; KLOVER Cited in: 2 Documents all top 5 Cited by 8 Authors 1 Forrest, Stephanie 1 Kapur, Deepak 1 Khaireddine, Besma 1 Martinez, Matias 1 Mili, Ali 1 Nguyen, Thanhvu H. 1 Weimer, Westley 1 Zakharchenko, Aleksandr Cited in 1 Serial 1 Acta Informatica Cited in 1 Field 2 Computer science (68-XX) Citations by Year