Automatic mining of specifications from invocation traces and method invariants
The Daikon system for dynamic detection of likely invariants