The Daikon system for dynamic detection of likely invariants

The Daikon system for dynamic detection of likely invariants | Litlas