T. N. Win, M. D. Ernst, S. J. Garland, D. Kirli, and N. Lynch. Using simulated execution in verifying distributed algorithms. Software Tools for Technology Transfer, 6(1):67--76, July 2004. 5  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.. (2004) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Ne Win T, Ernst MD, Garland SJ, Krl D, Lynch N (2004) Using simulated execution in verifying distributed algorithms. Int J Softw Tools Technol Transfer 6(1):67--76
Efficient Incremental Algorithms for Dynamic Detection of.. - Perkins, Ernst (2004) (2 citations) Self-citation (Ernst) (Correct)
No context found.
T. Ne Win, M. D. Ernst, S. J. Garland, D. Krl, and N. Lynch. Using simulated execution in verifying distributed algorithms. STTT, 2004.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Krl, and Nancy Lynch. Using simulated execution in verifying distributed algorithms. Software Tools for Technology Transfer, 2004.
Improving Test Suites via Operational Abstraction - Harder, Mellen, Ernst (2003) (14 citations) Self-citation (Ernst) (Correct)
No context found.
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Krl, and Nancy Lynch. Using simulated execution in verifying distributed algorithms. In VMCAI'03, Fourth International Conference on Verification, Model Checking and Abstract Interpretation, pages 283--297, New York, New York, January 9--11, 2003.
Adaptive Runtime Verification for Autonomic.. - Denaro, Mariani.. (Correct)
No context found.
T. N. Win, M. D. Ernst, S. J. Garland, D. Kirli, and N. Lynch. Using simulated execution in verifying distributed algorithms. Software Tools for Technology Transfer, 6(1):67--76, July 2004. 5
MACEDON: Methodology for Automatically Creating.. - Rodriguez.. (2004) (1 citation) (Correct)
No context found.
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsu n Kirli, and Nancy Lynch. Using simulated execution in verifying distributed algorithms. In Fourth International Conference on Verification, Model Checking and Abstrac t Interpretation, pages 283--297, New York, January 2003.
MACEDON: Methodology for Automatically Creating.. - Rodriguez.. (2004) (1 citation) (Correct)
No context found.
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsu n Kirli, and Nancy Lynch. Using simulated execution in verifying distributed algorithms. In Fourth International Conference on Verification, Model Checking and Abstrac t Interpretation, pages 283--297, New York, January 2003.
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