Precise Condition Synthesis for Program Repair
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs