Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants (2004)

Cached

Download Links

by Jeff H. Perkins , Michael D. Ernst
Venue:In Proceedings of the ACM SIGSOFT 12th Symposium on the Foundations of Software Engineering (FSE 2004
Citations:42 - 5 self