Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding

Madanlal Musuvathi and Dawson R. Engler

Details

Publication typeArticle
Published inElectr. Notes Theor. Comput. Sci.
Volume89
Number3
> Publications > Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding