REPAIRING PROGRAMS WITH SEMANTIC CODE SEARCH
Efficient Automated Program Repair through Fault-Recorded Testing Prioritization