Efficient incremental algorithms for dynamic detection of likely invariants (2004)

by J H Perkins, M D Ernst
Venue:In In Proceedings of the ACM SIGSOFT 12th Symposium on the Foundations of Software Engineering