Missing tool? Contribute through GitHub or mailing list.

JFix

Description Semantics-based repair framework for Java programs
URL https://xuanbachle.github.io/semanticsrepair/
Target Java source code
Related publication JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder, by D.X.B. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser. International Symposium on Software Testing and Analysis (ISSTA) — Demonstration Track. 2017

DeepFix

Description Tool for fixing common programming errors based on deep learning
URL http://www.iisc-seal.net/deepfix
Target C source code
Related publication DeepFix: Fixing Common C Language Errors by Deep Learning, by R. Gupta, S. Pal, A. Kanade, S. Shevade. Conference on Artificial Intelligence (AAAI). 2017

ACS

Description Automated program repair tool with accurate condition synthesis
URL https://github.com/Adobee/ACS
Target Java source code
Related publication Precise Condition Synthesis for Program Repair, by Y. Xiong, J. Wang, R. Yan, J. Zhang, S. Han, G. Huang, L. Zhang. International Conference on Software Engineering (ICSE). 2017

CoderAssist

Description System for feedback generation
URL https://bitbucket.org/iiscseal/coderassist
Target C source code
Related publication Semi-supervised Verified Feedback Generation, by S. Kaleeswaran, A. Santhiar, A. Kanade, S. Gulwani. Symposium on the Foundations of Software Engineering (FSE). 2016

Astor

Description Automatic software repair framework for Java (incl. GenProg, Kali and mutation repair for Java)
URL https://github.com/SpoonLabs/astor
Target Java source code
Related publication ASTOR: A Program Repair Library for Java, by M. Martinez, M. Monperrus. International Symposium on Software Testing and Analysis (ISSTA) — Demonstration Track. 2016

HistoricalFix

Description Automated program repair tool that leverages bug fix history
URL https://github.com/xuanbachle/bugfixes
Target Java source code
Related publication History Driven Program Repair, by X. B. D. Le, D. Lo, C. Le Goues. International Conference on Software Analysis, Evolution, and Reengineering (SANER). 2016

Angelix

Description Automated program repair tool based on symbolic analysis
URL http://angelix.io
Target C source code
Related publication Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis, by S. Mechtaev, J. Yi, A. Roychoudhury. International Conference on Software Engineering (ICSE). 2016

Prophet

Description Automated program repair that learns from correct patches
URL http://groups.csail.mit.edu/pac/prophet/
Target C source code
Related publication Automatic Patch Generation by Learning Correct Code, by F. Long, M. C. Rinard. Symposium on Principles of Programming Languages (POPL). 2016

SearchRepair

Description Automated program repair that uses semantic code search over large repositories of candidate code bases to produce high-quality bug patches
URL https://github.com/ProgramRepair/SearchRepair
Target C source code
Related publication Repairing Programs with Semantic Code Search, by Y. Ke, K. T. Stolee, C. Le Goues, Y. Brun. International Conference on Automated Software Engineering (ASE). 2015

LeakFix

Description Safe memory-leak fixing tool for C programs
URL http://sei.pku.edu.cn/~gaoqing11/leakfix/
Target C source code
Related publication Safe Memory-Leak Fixing for C Programs, by Q. Gao, Y. Xiong, Y. Mi, L. Zhang, W. Yang, Z. Zhou, B. Xie, H. Mei. International Conference on Software Engineering (ICSE). 2015

QACrashFix

Description Fixing Java crash bugs by querying StackOverflow
URL http://sei.pku.edu.cn/~gaoqing11/qacrashfix/
Target Java source code
Related publication Fixing Recurring Crash Bugs via Analyzing Q&A Sites, by Q. Gao, H. Zhang, J. Wang, Y. Xiong, L. Zhang, H. Mei. International Conference on Automated Software Engineering (ASE). 2015

Kali

Description Generate-and-validate patch generation system that only deletes functionality
URL http://groups.csail.mit.edu/pac/kali/
Target C source code
Related publication An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems, by Z. Qi, F. Long, S. Achour, M. Rinard. International Symposium on Software Testing and Analysis (ISSTA). 2015

SPR

Description Automated program repair tool with condition synthesis
URL http://rhino.csail.mit.edu/spr-rep/
Target C source code
Related publication Staged Program Repair with Condition Synthesis, by F. Long, M. C. Rinard. Symposium on the Foundations of Software Engineering (FSE). 2015

MintHint

Description Program repair tool that generates repair hints to assist the programmer
URL http://www.iisc-seal.net/minthint
Target C source code
Related publication MintHint: Automated Synthesis of Repair Hints, by S. Kaleeswaran, V. Tulsian, A. Kanade, A. Orso. International Conference on Software Engineering (ICSE). 2014

RSRepair

Description GenProg modification that uses random search
URL http://qiyuhua.github.io/projects/rsrepair
Target C source code
Related publication The Strength of Random Search on Automated Program Repair, by Y. Qi, X. Mao, Y. Lei, Z. Dai, C. Wang. International Conference on Software Engineering (ICSE). 2014

Nopol

Description Automated program repair tool for conditional expressions
URL https://github.com/SpoonLabs/nopol/
Target Java source code
Related publication Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT, by F. DeMarco, J. Xuan, D. Le Berre, M. Monperrus. International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA). 2014

AutoFix

Description Automatic program repair of object-oriented programs with contracts
URL https://bit.ly/autofix-tool
Target Eiffel source code
Related publication Automated Fixing of Programs with Contracts, by Y. Pei, C. A. Furia, M. Nordio, Y. Wei, B. Meyer, A. Zeller. IEEE Transactions on Software Engineering (TSE). 2014

SemFix

Description Automated program repair tool based on symbolic analysis
URL http://www.comp.nus.edu.sg/~abhik/tools/angelix
Target C source code
Related publication SemFix: Program Repair via Semantic Analysis, by H.D.T. Nguyen, D. Qi, A. Roychoudhury, S. Chandra. International Conference on Software Engineering (ICSE). 2013

GenProg

Description Automated program repair tool based on genetic programming
URL http://dijkstra.cs.virginia.edu/genprog/
Target C source code
Related publication A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for $8 Each, by C. Le Goues, M. Dewey-Vogt, S. Forrest, W. Weimer. International Conference on Software Engineering (ICSE). 2012