M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1--25, Feb. 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1-25, 2001.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1--25, 2001.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
No context found.
Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1--25, 2001.
Formalizing Lightweight Verification of Software Component.. - McCamant, Ernst (2004) Self-citation (Ernst) (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE TSE, 27(2):1--25, Feb. 2001.
Selecting, Refining, and Evaluating Predicates for Program.. - Dodoo, Lin, Ernst (2003) Self-citation (Ernst) (Correct)
No context found.
Michael D. Ernst. Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington Department of Computer Science and Engineering, Seattle, Washington, August 2000.
Characterising, Explaining, and Exploiting the.. - Binkley, Harman, Krinke (2006) (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1--25, Feb. 2001.
Profiling Deployed Software: Assessing Strategies and Testing.. - Elbaum, Diep (2005) (1 citation) (Correct)
No context found.
M. Ernst, J. Cockrell, W. Griswold, and D. Notkin, "Dynamically Discovering Likely Program Invariants to Support Program Evolution," IEEE Trans. Software Eng., vol. 27, no. 2, pp. 99-123, Feb. 2001.
Scalable Statistical Bug Isolation - Ben Liblit Computer (2005) (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1--25, Feb. 2001.
Animated Visualisation of Static Analysis.. - Binkley, Harman, Krinke (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1--25, Feb. 2001.
DynaMine: Finding Common Error Patterns by Mining Software .. - Livshits, Zimmermann (2005) (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99--123, 2001.
DiscoTect: A System for Discovering Architectures.. - Yan, Garlan.. (2004) (Correct)
No context found.
M.D. Ernst, J. Cockrell, W.G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Tans. on Soft. Eng., 27(2), 2001.
Check 'n' Crash: Combining Static Checking and Testing - Csallner, Smaragdakis (2005) (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In Proceedings of the 21st International Conference on Software Engineering, pages 213--224. IEEE Computer Society Press, May 1999.
Over Program Traces - Report No Ucb (Correct)
No context found.
M. D. Ernst. Dynamically Discovering Likely Program Invariants. Ph.d., University of Washington Department of Computer Science and Engineering, Seattle, Washington, Aug. 2000.
DynaMine: Finding Common Error Patterns by Mining Software .. - Livshits, Zimmermann (2005) (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99--123, 2001.
Behavior Capture and Test for Controlling the Quality of.. - Mariani, Pezze (2003) (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99--123, February 2001.
Generation of Self-Testing Components - Mariani, Pezze, Willmor (Correct)
No context found.
Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering 27 (2001) 99--123
Adaptive Runtime Verification for Autonomic.. - Denaro, Mariani.. (Correct)
No context found.
M. Ernst, J. Cockrell, W. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99--123, Feb. 2001.
AccMon: Automatically Detecting Memory-related.. - Zhou, Liu, Fei.. (2004) (2 citations) (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In International Conference on Software Engineering, 1999.
Behavior Capture and Test for Verifying Evolving.. - Leonardo Mariani.. (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99--123, February 2001.
A Practical Perspective on the Verifying Compiler Proposal - Ireland (Correct)
No context found.
M.D. Ernst, J. Cockrell, W.G. Griswold, and D. Notkin. Dynamically discovering likely program invariant to support program evolution. IEEE Trans. on Software Engineering, 27(2):1--25, February 2001.
Check 'n' Crash: Combining Static Checking and Testing - Csallner, Smaragdakis (Correct)
No context found.
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In Proceedings of the 21st International Conference on Software Engineering, pages 213--224. IEEE Computer Society Press, May 1999.
A Technique for Verifying Component-Based Software - Mariani, Pezze (2004) (2 citations) (Correct)
No context found.
Ernst, M. D., J. Cockrell, W. G. Griswold and D. Notkin, Dynamically discovering likely program invariants to support program evolution, IEEE Transactions on Software Engineering 27 (2001), pp. 99--123.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Ernst MD, Cockrell J, Griswold WG, Notkin D (2001) Dynamically discovering likely program invariants to support program evolution. IEEE Trans Softw Eng 27(2):1--25
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Ernst MD (2000) Dynamically Discovering Likely Program Invariants. PhD thesis, Department of Computer Science and Engineering, University of Washington, Seattle, WA
Enforcing High-Level Security Properties for Applets - Pavlova, Barthe, Burdy.. (2004) (2 citations) (Correct)
No context found.
M.D. Ernst, J. Cockrell, W.G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1--25, 2001.
First 50 documents Next 50
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