Some lessons from using static analysis and software model checking for bug finding (2003)

by M Musuvathi, D Engler
Venue:Invited talk at the Workshop on Software Model Checking