Content deleted Content added
Puppydragon (talk | contribs) No edit summary |
Puppydragon (talk | contribs) |
||
Line 518:
''SemFix''<ref name=semfix/>: The first solver-based bug-fixing tool for C.
''CodePhage''<ref name=codephage/>: The first bug-fixing tool that directly transfer code across programs to generate patch for C program. Note that although it generates C patches, it can extract code from [[binary code|binary programs]] without source code<ref name=codephage/>.
''Prophet''<ref name=prophet/>: The first generate-and-validate tool that uses machine learning techniques to learn useful knowledge from past human patches to recognize correct patches. It is evaluated on the same benchmark as GenProg and generate correct patches (i.e., equivalent to human patches) for 18 out of 69 cases<ref name=prophet/>.
| |||