The Daikon system for dynamic detection of likely invariants.” (2007)

by Michael D Ernst
Venue:Science of Computer Programming