Relational Mathematics for Relative Correctness
Current challenges in automatic software repair