Yuhua Qi – Efficient Automated Program Repair through Fault-Recorded Testing Prioritization

Work on automated program repair (like GenProg) relies on test cases to determine whether a generated patch is correct. Yuhua proposes to prioritize the test cases, based on their previously shown ability to identify an invalid patch, as shown below.


The authors have implemented this approach in a tool called TrpAutoRepair  which they compared to GenProg, by running it on the programs used in the most recent work on GenProg as the experimental benchmarks, all of which are written in C language and are different real-world systems with real-life bugs from different domains.

Their results show that TrpAutoRepair significantly improves the rate of invalid-patch detection over GenProg.