Evolutionary Program Repair

July 26, 2011

Evolutionary Program Repair (EPR) can be used to automatically fix bugs in C software. This approach requires no formal specifications, program annotations, or special coding practices. Genetic programming is used to evolve program variants until one is found that both retains required functionality and repairs the bug in question. The technique takes as input a program, a set of successful positive test cases, and a failing negative test case that demonstrates the defect.

You should follow me on Twitter here