Jeremy W. Nimmer and Michael D. Ernst. Automatic generation of program specifications. In ISSTA 2002, International Symposium on Software Testing and Analysis, pages 232--242, Rome, Italy, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Discovering Algebraic Specifications from Java Classes - Henkel, Diwan (2003) (5 citations) (Correct)
....of a given implementation. Daikon has been improved in many ways [16, 17, 13] and has been used for various applications including program evolution [15] refactoring [32] test suite quality evaluation [24] bug detection [23] and as a generator of specifications that are then checked statically [36]. Whaley et al. 44] describe how to discover specifications that are finite state machines describing in which order method calls can be made to a given object. Similarly, Ammons et al. extract nondeterministic finite state automatons (NFAs) that model temporal and data dependencies in APIs from ....
J. W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA), Rome, July 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. Automatic generation of program specifications. In ISSTA 2002, International Symposium on Software Testing and Analysis, pages 232--242, Rome, Italy, 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. Automatic generation of program specifications. In ISSTA 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. Automatic generation of program specifications. In ISSTA 2002, Proceedings of the 2002 International Symposium on Software Testing and Analysis, pages 232--242, Rome, Italy, July 22--24, 2002.
Static and Dynamic Analysis: Synergy and Duality - Michael Ernst Mit (2003) (2 citations) Self-citation (Ernst) (Correct)
No context found.
J. W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In ISSTA, pages 232--242, July 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. Automatic generation of program specifications. In ISSTA, pages 232--242, July 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. Automatic generation of program specifications. In ISSTA 2002, International Symposium on Software Testing and Analysis, pages 232--242, Rome, Italy, 2002.
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. Automatic generation of program specifications. In ISSTA 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. Automatic generation of program specifications. In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA), pages 232--242, Rome, Italy, July 22--24, 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. Automatic generation of program specifications. In ISSTA 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. Automatic generation of program specifications. In ISSTA 2002, International Symposium on Software Testing and Analysis, pages 232--242, Rome, Italy, 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. Automatic generation of program specifications. In ISSTA 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. Automatic generation of program specifications. In ISSTA 2002, Proceedings of the 2002 International Symposium on Software Testing and Analysis, pages 232--242, Rome, Italy, July 22--24, 2002.
Static and Dynamic Analysis: Synergy and Duality - Michael Ernst Mit (2003) (2 citations) Self-citation (Ernst) (Correct)
No context found.
J. W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In ISSTA, pages 232--242, July 2002.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
....tests, and other mechanisms to suppress false positives. Even if a property is not true in general, Daikon s output provides valuable information about the test suite over which the program was run. Even with modest test suites, Daikon s output is highly accurate. In one set of experiments [34], over 90 of the properties that it reported were verifiable by ESC Java (the other properties were true, but were beyond the capabilities of ESC Java) and it reported over 90 of the properties that ESC Java needed in order to complete its verification. For example, if Daikon generated 100 ....
Jeremy W. Nimmer and Michael D. Ernst. Automatic generation of program specifications. In ISSTA 2002.
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) Self-citation (Ernst) (Correct)
....second 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 ....
Jeremy W. Nimmer and Michael D. Ernst. Automatic generation of program specifications. In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA), Rome, Italy, July 22--24, 2002.
Automatic Generation and Checking of Program Specifications - Nimmer (2001) (2 citations) Self-citation (Nimmer) (Correct)
....sound and unsound tools. 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 ....
Jeremy W. Nimmer and Michael D. Ernst. Automatic generation of program specifications. In ISSTA, July 2002.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Nimmer JW, Ernst MD (2002) Automatic generation of program specifications. In: International symposium on software testing and analysis (ISSTA 2002), Rome, Italy, pp 232--242
Using a Software Testing Technique to Improve Theorem Proving - Hähnle, Wallenburg (2003) (Correct)
No context found.
Nimmer, J.W., Ernst, M.D.: Automatic generation of program specifications. In: Proceedings of the international symposium on Software testing and analysis, ACM Press (2002) 229--239
Using a Software Testing Technique to Improve Theorem Proving - Hähnle, Wallenburg (Correct)
No context found.
Nimmer, J.W., Ernst, M.D.: Automatic generation of program specifications. In: Proceedings of the international symposium on Software testing and analysis, ACM Press (2002) 229--239
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