The plastic surgery hypothesis
SemFix: program repair via semantic analysis