Automatic patch generation by learning correct code
Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing