Precise Condition Synthesis for Program Repair
GZoltar: an eclipse plug-in for testing and debugging