Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.Cataloged from PDF version of thesis.Includes bibliographical references (pages 285-296).Automatic patch generation holds out the promise of automatically correcting software defects without the need for developers to manually diagnose, understand, and correct these defects. This dissertation presents two novel patch generation systems, Prophet and Genesis, which learn from past successful human patches to enhance the patch generation process. The core of Prophet and Genesis is a novel learning technique that extracts universal properties of correct code and a novel inference technique that generalizes universal patching st...
As stated in [1]: ”The automatic detection of bugs has been a vast research field for decades, with ...
We present the first systematic analysis of the characteristics of patch search spaces for automatic...
A large body of the literature on automated program repair develops approaches where patches are aut...
Patch generation is an essential software maintenance task because most software systems inevitably ...
We present Prophet, a novel patch generation system that learns a probabilistic model over candidate...
We present Prophet, a novel patch generation system that learns a probabilistic model over candidate...
We present Prophet, a novel patch generation system that learns a probabilistic model over candidate...
We present a new system, Genesis, that processes human patches to automatically infer code transform...
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring ...
We present a new system, Genesis, that processes sets of human patches to automatically infer code t...
State-of-the-art APR techniques currently produce patches that are manually evaluated as overfitting...
We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg,...
Software developers spend significant time and effort fixing bugs. Automatic program repair promises...
Bug fixing is a time-consuming and tedious task. To reduce the manual efforts in bug fixing, researc...
We present PCR, a new automatic patch generation system. PCR uses a new condition synthesis techniqu...
As stated in [1]: ”The automatic detection of bugs has been a vast research field for decades, with ...
We present the first systematic analysis of the characteristics of patch search spaces for automatic...
A large body of the literature on automated program repair develops approaches where patches are aut...
Patch generation is an essential software maintenance task because most software systems inevitably ...
We present Prophet, a novel patch generation system that learns a probabilistic model over candidate...
We present Prophet, a novel patch generation system that learns a probabilistic model over candidate...
We present Prophet, a novel patch generation system that learns a probabilistic model over candidate...
We present a new system, Genesis, that processes human patches to automatically infer code transform...
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring ...
We present a new system, Genesis, that processes sets of human patches to automatically infer code t...
State-of-the-art APR techniques currently produce patches that are manually evaluated as overfitting...
We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg,...
Software developers spend significant time and effort fixing bugs. Automatic program repair promises...
Bug fixing is a time-consuming and tedious task. To reduce the manual efforts in bug fixing, researc...
We present PCR, a new automatic patch generation system. PCR uses a new condition synthesis techniqu...
As stated in [1]: ”The automatic detection of bugs has been a vast research field for decades, with ...
We present the first systematic analysis of the characteristics of patch search spaces for automatic...
A large body of the literature on automated program repair develops approaches where patches are aut...