Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
An Evaluation of Similarity Coefficients for Software Fault Localization