Dynamically Discovering Likely Program Invariants (2000)

Cached

Download Links

by Michael D. Ernst
Citations:113 - 15 self