Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing