Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java (2001)

Cached

Download Links

by Jeremy W. Nimmer , Michael D. Ernst
Citations:53 - 3 self