Realistic Bug Synthesis for Testing Bug-Finding Tools Anonymous
SemFix: program repair via semantic analysis