History-Based Automated Program Repair

软件可靠性和安全性是信息技术领域的重大基础性研究挑战。生产可靠和安全的软件对加拿大的经济和公共安全也至关重要。软件错误会严重损害软件的可靠性和安全性。它们每年给我们的经济造成数十亿美元的损失。由于缺乏修复它们的开发资源，许多错误，甚至那些已知的错误，都会在成熟的软件中保留很长一段时间。因此，帮助开发人员修复错误的技术需求很高。自动修复错误可以：(1)通过节省程序员诊断和修复错误的时间和精力来降低软件开发的成本；(2)通过更早地修复更多的错误来提高软件的可靠性和安全性。

Software reliability and security are grand and fundamental research challenges in information technology. Producing reliable and secure software is also critically important to Canada's economy and public safety. Software bugs significantly impair software reliability and security. They cost our economy billions annually. Many bugs, even those that are known, remain in mature software for a long time due to the lack of the development resources to fix them. Therefore, techniques to help developers fix bugs are in high demand. Automatically fixing bugs could: (1) reduce the cost of software development through saving programmers' time and effort in diagnosing and fixing bugs, and (2) improve software reliability and security through fixing more bugs earlier.