— publication, — repository
C/C++ |
|
---|---|
AllRepair — mutation-based repair tool for C programs equipped with assertions in the code | |
Angelix — automated program repair tool based on symbolic analysis | |
CoderAssist — system for feedback generation | |
DeepFix — tool for fixing common programming errors based on deep learning | |
GenProg — automated program repair tool based on genetic programming | |
Kali — generate-and-validate patch generation system that only deletes functionality | |
LeakFix — safe memory-leak fixing tool for C programs | |
MintHint — program repair tool that generates repair hints to assist the programmer | |
Prophet — automated program repair that learns from correct patches | |
RSRepair — GenProg modification that uses random search | |
SPR — automated program repair tool with condition synthesis | |
SearchRepair — automated program repair that uses semantic code search over large repositories of candidate code bases to produce high-quality bug patches | |
SemFix — automated program repair tool based on symbolic analysis | |
Eiffel |
|
AutoFix — automatic program repair of object-oriented programs with contracts | |
Java |
|
ACS — automated program repair tool with accurate condition synthesis | |
AVATAR — fixing Java bugs by the fix patterns of static analysis violations (FindBugs violations) | |
Astor — automatic software repair framework for Java (incl. GenProg, Kali and mutation repair for Java) | |
Genesis — system that automatically infers sets of code transforms for automatic patch generation | |
HistoricalFix — automated program repair tool that leverages bug fix history | |
JAID — an APR technique that uses detailed state abstractions to guide both fault localization and fix generation | |
JFix — semantics-based repair framework for Java programs | |
LSRepair — fixing Java bugs by leveraging live search of fix ingredients of similar code at method level | |
NPEFix — system that generates patches for Null Pointer Exceptions with meta-programming | |
Nopol — automated program repair tool for conditional expressions | |
QACrashFix — fixing Java crash bugs by querying StackOverflow | |
Repairnator — software development bot that automatically repairs build failures on Travis Continuous Integration | |
SimFix — fixing Java bugs by leveraging existing patches and similar code | |
SketchFix — automatic program repair with on-demand candidate generation | |
kGenProg — automated program repair tool written in Java for Java | |
kPAR — Java implementation of PAR: fixing Java bugs with pre-defined fix patterns | |
Multilingual |
|
BugZoo — a platform for studying historical software bugs | |
Footpatch — static automated program repair for heap properties |