The Oracle Problem in Software Testing: A Survey
The Daikon system for dynamic detection of likely invariants