Execution-free Program Repair
arxiv(2024)
摘要
Automatic program repair usually relies heavily on test cases for both bug
identification and fix validation. The issue is that writing test cases is
tedious, running them takes much time, and validating a fix through tests does
not guarantee its correctness. The novel idea in the Proof2Fix methodology and
tool presented here is to rely instead on a program prover, without the need to
run tests or to run the program at all. Results show that Proof2Fix finds and
fixes significant historical bugs.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要