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

by M Ernst, J Perkins, P Guo, S McCamant, C Pacheco, M Tschantz, C Xiao
Venue:SCP