Automatic Program Repair Using Genetic Programming
The Daikon system for dynamic detection of likely invariants