Show simple item record

Prophet: Automatic Patch Generation via Learning from Successful Patches

dc.date.accessioned2015-07-14T15:45:04Z
dc.date.accessioned2018-11-26T22:27:29Z
dc.date.available2015-07-14T15:45:04Z
dc.date.available2018-11-26T22:27:29Z
dc.date.issued2015-07-13
dc.identifier.urihttp://hdl.handle.net/1721.1/97735
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/97735
dc.description.abstractWe present Prophet, a novel patch generation system that learns a probabilistic model over candidate patches from a database of past successful patches. Prophet defines the probabilistic model as the combination of a distribution over program points based on defect localization algorithms and a parametrized log-linear distribution over modification operations. It then learns the model parameters via maximum log-likelihood, which identifies important characteristics of the previous successful patches in the database. For a new defect, Prophet generates a search space that contains many candidate patches, applies the learned model to prioritize those potentially correct patches that are consistent with the identified successful patch characteristics, and then validates the candidate patches with a user supplied test suite. The experimental results indicate that these techniques enable Prophet to generate correct patches for 15 out of 69 real-world defects in eight open source projects. The previous state of the art generate and validate system, which uses a set of hand-code heuristics to prioritize the search, generates correct patches for 11 of these same 69 defects.en_US
dc.format.extent13 p.en_US
dc.titleProphet: Automatic Patch Generation via Learning from Successful Patchesen_US


Files in this item

FilesSizeFormatView
MIT-CSAIL-TR-2015-027.pdf401.8Kbapplication/pdfView/Open

This item appears in the following Collection(s)

Show simple item record