Quickly Detecting Relevant Program Invariants (1999)

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