Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
GZoltar: an eclipse plug-in for testing and debugging