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

by M Musuvathi, D Engler
Venue:in Proc. Workshop on Software Model Checking (SoftMC), Elsevier