Conference Proceeding Article
Effective automated program repair techniques have great potential to reduce the costs of debugging and maintenance. Previously proposed automated program repair (APR) techniques often follow a generate-and-validate and test- case-driven procedure: They first randomly generate a large pool of fix candidates and then exhaustively validate the quality of the candidates by testing them against existing or provided test suites. Unfortunately, many real-world bugs cannot be repaired by existing techniques even after more than 12 hours of computation in a multi-core cloud environment. More work is needed to advance the capabilities of modern APR techniques. We propose a new technique that utilizes the wealth of bug fixes across projects in their development history to effectively guide and drive a program repair process. Our main insight is that recurring bug fixes are common in real-world applications, and that previously-appearing fix patterns can provide useful guidance to an automated repair technique. Based on this insight, our technique first automatically mines bug fix patterns from the history of many projects. We then employ existing mutation operators to generate fix candidates for a given buggy program. Candidates that match frequently occurring historical bug fixes are considered more likely to be relevant, and we thus give them priority in the random search process. Finally, candidates that pass all the previously failed test cases are recommended as likely fixes. We compare our technique against existing generate-and-validate and test-driven APR approaches using 90 bugs from 5 Java programs. The experiment results show that our technique can produce good-quality fixes for many more bugs as compared to the baselines, while being reasonably computationally efficient: it takes less than 20 minutes, on average, to correctly fix a bug.
Automated Program Repair, Mutation Testing, Graph Mining
Software and Cyber-Physical Systems
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER): March 14-18, Osaka: Proceedings
City or Country
LE, Xuan-Bach D.; LO, David; and LE GOUES, Claire.
History driven automated program repair. (2016). 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER): March 14-18, Osaka: Proceedings. 213-224. Research Collection School Of Information Systems.
Available at: http://ink.library.smu.edu.sg/sis_research/3730
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.