An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
SemFix: program repair via semantic analysis