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

Microsoft Translator |

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

Madanlal Musuvathi and Dawson R. Engler
July 2003

softmc03.pdf

In Electr. Notes Theor. Comput. Sci.

Details

Type	Article
Volume	89
Number	3

Related People

Madan Musuvathi

Share

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