Content deleted Content added
Puppydragon (talk | contribs) |
Puppydragon (talk | contribs) |
||
Line 522:
''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/>.
''Angelix''<ref name=angelix/>: An improved solver-based bug-fixing tool. It is evaluated on the GenProg benchmark.
===Tools for Java===
| |||