Show simple item record

dc.contributor.advisorMartin Rinard
dc.contributor.authorLong, Fanen_US
dc.contributor.authorQi, Zichaoen_US
dc.contributor.authorAchour, Saraen_US
dc.contributor.authorRinard, Martinen_US
dc.contributor.otherComputer Architectureen
dc.date.accessioned2015-02-12T21:00:03Z
dc.date.available2015-02-12T21:00:03Z
dc.date.issued2015-02-12
dc.identifier.urihttp://hdl.handle.net/1721.1/94520
dc.description.abstractWe 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 conditions that cause the application to produce the wrong result for one or more of the test cases. PCR also leverages condition synthesis to obtain a set of compound modifications that generate a rich, productive, and tractable search space of candidate patches. We evaluate PCR on a set of 105 defects from the GenProg benchmark set. For 40 of these defects, PCR generates plausible patches (patches that generate correct outputs for all inputs in the test suite used to validate the patch). For 12 of these defects, PCR generates correct patches that are functionally equivalent to developer patches that appear in subsequent versions. For comparison purposes, GenProg generates plausible patches for only 18 defects and correct patches for only 2 defects. AE generates plausible patches for only 27 defects and correct patches for only 3 defects.en_US
dc.format.extent14 p.en_US
dc.relation.ispartofseriesMIT-CSAIL-TR-2015-004
dc.titleAutomatic Program Repair with Condition Synthesis and Compound Mutationsen_US
dc.date.updated2015-02-12T21:00:03Z


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record