DMCA

Dynamically Discovering Likely Program Invariants (2000)

Cached

Download Links

by Michael D. Ernst
Citations:112 - 15 self