D. Engler and M. Musuvathi. Static analysis versus software model checking for bug finding. In Invited paper: Fifth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI04), pages 191--210, Jan. 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Execution Generated Test Cases: How to Make Systems Code Crash .. - Cadar, Engler (2005) Self-citation (Engler) (Correct)
No context found.
D. Engler and M. Musuvathi. Static analysis versus software model checking for bug finding. In Invited paper: Fifth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI04), pages 191--210, Jan. 2004.
Goanna --- A Static Model Checker - Ansgar Fehnker Ralf (Correct)
No context found.
Engler, D.R., Musuvathi, M.: Static analysis versus software model checking for bug finding. In: "VMCAI '04: 5th Intl. Conference Verification, Model Checking and Abstract Interpretation". (2004) 191--210
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard (Correct)
No context found.
D. Engler and M. Musuvathi. Static analysis versus software model checking for bug finding. In VMCAI, 2004.
A Flexible Framework for the Estimation of.. - Rodríguez, .. (2004) (Correct)
No context found.
D. R. Engler and M. Musuvathi. Static analysis versus software model checking for bug finding. In B. Steffen and G. Levi, editors, Verification, Model Checking, and Abstract Interpretation, 5th International Conference, volume 2937 of Lecture Notes in Computer Science, pages 191--210. Springer, 2004.
Model Checking One Million Lines of C Code - Hao Chen Drew (2004) (2 citations) (Correct)
No context found.
D. Engler and M. Musuvathi. Static analysis versus software model checking for bug finding. In 5th Intl. Conference Verification, Model Checking and Abstract Interpretation (VMCAI '04), 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC