| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |