Do automated program repair techniques repair hard and important bugs?
Manish Motwani, Sandhya Sankaranarayanan, René Just, Yuriy Brun · 2018
Automated program repair techniques use a buggy program and a partial specification (typically a test suite) to produce a program variant that satisfies the specification. While prior work has studied patch quality [10, 11] and maintainability [2], it has not examined whether automated repair techniques are capable of repairing defects that developers consider important or that are hard for developers to repair manually. This paper tackles those questions.