Test Case Generation Based on Invariant Extraction
The Daikon system for dynamic detection of likely invariants