Mining sandboxes: Are we there yet?
The Daikon system for dynamic detection of likely invariants