Precise Condition Synthesis for Program Repair
Safe memory-leak fixing for C programs