Leino KRM, Millstein T, Saxe JB (2004) Generating error traces from verification-condition counterexamples. Sci Comput Programm (in press) Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Spec# Programming System: An Overview - Barnett, Leino, Schulte Self-citation (Rustan Leino) (Correct)
No context found.
K. Rustan M. Leino, Todd Millstein, and James B. Saxe. Generating error traces from verification-condition counterexamples. Science of Computer Programming, 2004. To appear.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Leino KRM, Millstein T, Saxe JB (2004) Generating error traces from verification-condition counterexamples. Sci Comput Programm (in press)
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