Quickly detecting relevant program invariants (2000)

by M D Ernst, A Czeisler, W G Griswold, D Notkin
Venue:In Proceedings of ICSE’00