Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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