Automatic inference of code transforms for patch generation
Precise Condition Synthesis for Program Repair