Dynamically Discovering Likely Program Invariants (2000)

Cached

Download Links

by Michael D. Ernst
Citations:91 - 13 self