Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

SampleFix: Learning to Generate Functionally Diverse Fixes

About

Automatic program repair holds the potential of dramatically improving the productivity of programmers during the software development process and correctness of software in general. Recent advances in machine learning, deep learning, and NLP have rekindled the hope to eventually fully automate the process of repairing programs. However, previous approaches that aim to predict a single fix are prone to fail due to uncertainty about the true intend of the programmer. Therefore, we propose a generative model that learns a distribution over potential fixes. Our model is formulated as a deep conditional variational autoencoder that can efficiently sample fixes for a given erroneous program. In order to ensure diverse solutions, we propose a novel regularizer that encourages diversity over a semantic embedding space. Our evaluations on common programming errors show for the first time the generation of diverse fixes and strong improvements over the state-of-the-art approaches by fixing up to 45% of the erroneous programs. We additionally show that for the 65% of the repaired programs, our approach was able to generate multiple programs with diverse functionalities.

Hossein Hajipour, Apratim Bhattacharyya, Cristian-Alexandru Staicu, Mario Fritz• 2019

Related benchmarks

TaskDatasetResultRank
Program CorrectionDeepFix (test)
Completely Fixed Programs45.3
9
Program RepairDeepFix (test)
Accuracy45.3
9
Automated Program RepairReal-world C programs Typographic errors (test)
Compilation Success Rate27.8
6
Automated Program RepairReal-world C programs All errors (test)
Compilation Success Rate45.2
6
Automated Program RepairReal-world C programs (Missing variable declarations) (test)
Compilation Success Rate19.2
5
Automated Program RepairSynthetic C Programs (test)
Typo Success Rate95.6
4
Showing 6 of 6 rows

Other info

Follow for update