The daikon system for dynamic detection of likely invariants (2007)

by Michael D Ernst, Jeff H Perkins, Philip J Guo, Stephen McCamant, Carlos Pacheco, Matthew S Tschantz, Chen Xiao
Venue:Science of Computer Programming