Neural Program Repair with Execution-based Backpropagation

05/10/2021
by   He Ye, et al.
0

Neural machine translation (NMT) architectures have achieved promising results for automatic program repair. Yet, they have the limitation of generating low-quality patches(e.g., not compilable patches). This is because the existing works only optimize a purely syntactic loss function based on characters and tokens without incorporating program-specific information during neural net weight optimization. In this paper, we proposea novel program repair model called RewardRepair. The core novelty of RewardRepair is to improve NMT-based program repair with a loss function based on program compilation and test execution information, rewarding the network to produce patches that compile and that do not overfit. We conduct several experiments to evaluate RewardRepair showing that it is feasible and effective to use compilation and test execution results to optimize the underlying neural repair model.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/09/2019

Text Repair Model for Neural Machine Translation

In this work, we train a text repair model as a post-processor for Neura...
research
02/26/2021

CURE: Code-Aware Neural Machine Translation for Automatic Program Repair

Automatic program repair (APR) is crucial to improve software reliabilit...
research
07/09/2018

Execution-Guided Neural Program Decoding

We present a neural semantic parser that translatesnatural language ques...
research
09/08/2022

Presentation: SymDefFix – Sound Automatic Repair Using Symbolic Execution

In this presentation, we introduce our constraint-based repair approach,...
research
04/24/2023

ITER: Iterative Neural Repair for Multi-Location Patches

Automated program repair (APR) has achieved promising results, especiall...
research
02/11/2022

A Quick Repair Facility for Debugging

Modern development environments provide a widely used auto-correction fa...
research
06/20/2019

ENCORE: Ensemble Learning using Convolution Neural Machine Translation for Automatic Program Repair

Automated generate-and-validate (G&V) program repair techniques typicall...

Please sign up or login with your details

Forgot password? Click here to reset