Automatic Program Repair with Condition Synthesis and Compound Mutations
We present PCR, a new automatic patch generation system. PCR uses a new condition synthesis technique to efficiently discover logical expressions that generate desired control- flow transfer patterns. Presented with a set of test cases, PCR deploys condition synthesis to find and repair incorrect if...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Published: |
2015
|
| Online Access: | http://hdl.handle.net/1721.1/94520 |