Jeff H. Perkins, Michael D. Ernst
Efficient incremental algorithms for dynamic detection of likely invariants
FSE, 2004.
@inproceedings{FSE-2004-PerkinsE,
author = "Jeff H. Perkins and Michael D. Ernst",
booktitle = "{Proceedings of the 12th International Symposium on Foundations of Software Engineering}",
doi = "10.1145/1029894.1029901",
editor = "Richard N. Taylor and Matthew B. Dwyer",
isbn = "1-58113-855-5",
pages = "23--32",
publisher = "{ACM}",
title = "{Efficient incremental algorithms for dynamic detection of likely invariants}",
year = 2004,
}