Quickly detecting relevant program invariants (2000)

by M D Ernst, A Czeisler, W G Griswold, D Notkin
Venue:In Proceedings of the 22nd International Conference on Software Engineering