Some Lessons From Using Static Analysis and Software Model Checking for Bug Finding (2003)

Cached

Download Links

by Madanlal Musuvathi , Dawson Engler
Citations:11 - 0 self