Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing
The Daikon system for dynamic detection of likely invariants