Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), pages 11-20, 2002. Lilian Burdy et al. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), pages 11-20, 2002. Lilian Burdy et al.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), pages 11--20, 2002. Lilian Burdy et al.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002.
Selecting, Refining, and Evaluating Predicates for Program.. - Dodoo, Lin, Ernst (2003) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), pages 11--20, Charleston, SC, November 20--22, 2002.
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE-00), Charleston, SC, November 20-22, 2002.
Efficient Incremental Algorithms for Dynamic Detection of.. - Perkins, Ernst (2004) (2 citations) Self-citation (Ernst) (Correct)
No context found.
J. W. Nimmer and M. D. Ernst. Invariant inference for static checking: An empirical evaluation. In FSE, pages 11--20, Nov. 2002.
An Overview of JML Tools and Applications - Burdy, al. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), pages 11--20, 2002. Lilian Burdy et al.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), pages 11-20, 2002. Lilian Burdy et al.
An overview of JML tools and applications - Www Jmlspecs Org (2003) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002.
Selecting Predicates for Implications in Program Analysis - Dodoo, Donovan, Lin, Ernst (2002) (6 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: an empirical evaluation, March 2002.
Using Simulated Execution in Verifying Distributed.. - Win, Ernst, Garland.. (2004) (3 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), pages 11--20, Charleston, SC, November 20--22, 2002.
An overview of JML tools and applications - Burdy, Cheon, Ernst, Kiniry (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), pages 11--20, 2002.
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE-00), Charleston, SC, November 20-22, 2002.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002.
Predicting Problems Caused by Component Upgrades - McCamant, Ernst (2003) (9 citations) Self-citation (Ernst) (Correct)
No context found.
J. W. Nimmer and M. D. Ernst. Invariant inference for static checking: An empirical evaluation. In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002.
Improving Test Suites via Operational Abstraction - Harder, Mellen, Ernst (2003) (14 citations) Self-citation (Ernst) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), pages 11--20, Charleston, SC, November 20--22, 2002.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
....reported over 90 of the properties that ESC Java needed in order to complete its verification. For example, if Daikon generated 100 properties, users had only to delete less than 10 properties and to add another 10 properties in order to have a verifiable set of properties. In another experiment [35], users who were provided with Daikon output (even from unrealistically bad test suites) performed statistically significantly better on a program verification task than did users who did not have such assistance. 7 3.5 Extended Static Checking with ESC Java The ESC Java tool [15] developed at ....
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2002.
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) Self-citation (Ernst) (Correct)
....case study, of Lamport s Paxos distributed consensus protocol [Lam98] and Section 6 discusses a third case study, of a strong cache for shared memory. Section 7 discusses our method, and Section 8 concludes. 2 Related work The most closely related work is that of Nimmer and Ernst [NE01, NE02a, NE02b] who also dynamically detected, than statically verified, program properties. Their system fully automatically proved absence of run time errors in single threaded Java programs using the Daikon specification generator and the ESC Java static checker. By contrast, we consider correctness proofs ....
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE-00), Charleston, SC, November 20--22, 2002.
Automatic Generation and Checking of Program Specifications - Nimmer (2001) (2 citations) Self-citation (Nimmer) (Correct)
....Each tool by itself has serious weaknesses, but the two together address each other s weaknesses and enhance each other s strengths. 43 Acknowledgments Portions of this thesis were previously published at the First Workshop on Runtime Verification [NE01] at ISSTA 2002 [NE02a] and at FSE 2002 [NE02b] The first two works draw mainly from Chapter 4, while the last draws mainly from Chapter 5. I have been extremely lucky to have Michael Ernst as my advisor. Michael is committed to helping his students succeed, and I have been a happy beneficiary of his invaluable guidance, both technical and ....
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. In FSE, November 2002.
Simulating Critical Software Engineering - Evans, Peck (2004) (Correct)
No context found.
Jeremy W. Nimmer and Michael D. Ernst. Invariant inference for static checking: An empirical evaluation. SIGSOFT Foundations of Software Engineering, Nov 2002.
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