Automating test oracles generation
The Daikon system for dynamic detection of likely invariants