Jeff H. Perkins Michael D. Ernst Efficient incremental algorithms for dynamic detection of likely invariants. 23-32 2004 conf/sigsoft/2004 SIGSOFT FSE http://doi.acm.org/10.1145/1029894.1029901 db/conf/sigsoft/fse2004.html#PerkinsE04