Relational Mathematics for Relative Correctness
Automatically finding patches using genetic programming