a data driven approach for algebraic loop invariants .
The Daikon system for dynamic detection of likely invariants