The Daikon system for dynamic detection of likely invariants

Authors: Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao - Science of Computer Programming 2007 cited by 1,051