Quickly detecting relevant program invariants.

Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin

Browse the full ICSE paper archive.