Static Analysis versus Software Model Checking for Bug Finding.

Dawson R. Engler, Madanlal Musuvathi

Browse the full VMCAI paper archive.