Michael D. Ernst Jeff H. Perkins Philip J. Guo Stephen McCamant Carlos Pacheco Matthew S. Tschantz Chen Xiao The Daikon system for dynamic detection of likely invariants. 35-45 2007 69 Sci. Comput. Program. 1-3 http://dx.doi.org/10.1016/j.scico.2007.01.015 db/journals/scp/scp69.html#ErnstPGMPTX07