Static Analysis versus Software Model Checking for Bug Finding (2004)

Cached

Download Links

by Dawson Engler , Madanlal Musuvathi
Venue:In VMCAI
Citations:45 - 3 self