Relational Mathematics for Relative Correctness
SemFix: program repair via semantic analysis