Automated detection of logical errors in programs
The Daikon system for dynamic detection of likely invariants