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

by Michael D. Ernst , Jeff H. Perkins , Philip J. Guo , Stephen McCamant , Carlos Pacheco , Matthew S. Tschantz , Chen Xiao
Citations:131 - 8 self