Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding. - Musuvathi, Madanlal; Engler, Dawson R. (2003)