Quickly Detecting Relevant Program Invariants (1999)

Cached

Download Links

by Michael D. Ernst , Adam Czeisler , William G. Griswold , David Notkin
Citations:128 - 23 self