D.: Quickly detecting relevant program invariants (0)

by Czeisler Ernst, A Griswold, W G Notkin
Venue:In: ICSE