Jeff H. Perkins, Michael D. Ernst. Efficient incremental algorithms for dynamic detection of likely invariants. In Richard N. Taylor, Matthew B. Dwyer, editors, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. pages 23-32, ACM, 2004. [doi]
Abstract is missing.