G. Brat and W. Visser. Combining static analysis and model checking for software analysis. In Proceedings of the 16th IEEE Conference on Automated Software Engineering (ASE 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Practical Perspective on the Verifying Compiler Proposal - Ireland (Correct)
No context found.
G. Brat and W. Visser. Combining static analysis and model checking for software analysis. In Proceedings of the 16th IEEE Conference on Automated Software Engineering (ASE 2001.
Exploiting Object Escape and Locking Information in.. - Dwyer, Hatcliff.. (2004) (2 citations) (Correct)
No context found.
G. Brat and W. Visser. Combining static analysis and model checking for software analysis. In Proceedings of the 16th IEEE Conference on Automated Software Engineering, Nov. 2001.
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