An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems
We analyze reported patches for three existing generate-and-validate patch generation systems (GenProg, RSRepair, and AE). The basic principle behind generate-and-validate systems is to accept only plausible patches that produce correct outputs for all inputs in the test suite used to validate the p...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Published: |
2015
|
| Online Access: | http://hdl.handle.net/1721.1/97089 |