Angelix and SemFix:  Automated Program Repair tool for C programs

References

[ICSE]

Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis ( pdf )

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

ACM/IEEE International Conference on Software Engineering (ICSE) 2016.

[ICSE]

DirectFix: Looking for Simple Program Repairs ( PDF )

Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury

ACM/IEEE International Conference on Software Engineering (ICSE) 2015.

[ICSE]

SemFix: Program Repair via Semantic Analysis ( pdf )

Hoang D.T. Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra

ACM/IEEE International Conference on Software Engineering (ICSE) 2013.