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
Context Related Articles Check |
This paper is cited by the following papers:
Simulating Critical Software Engineering - Evans, Peck (2004) (Correct)
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
Selecting, Refining, and Evaluating Predicates for Program.. - Dodoo, Lin, Ernst (2003) Self-citation (Ernst) (Correct)
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) Self-citation (Ernst) (Correct)
Efficient Incremental Algorithms for Dynamic Detection of.. - Perkins, Ernst (2004) (2 citations) Self-citation (Ernst) (Correct)
An Overview of JML Tools and Applications - Burdy, al. (2003) (16 citations) Self-citation (Ernst) (Correct)
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
An overview of JML tools and applications - Www Jmlspecs Org (2003) Self-citation (Ernst) (Correct)
Selecting Predicates for Implications in Program Analysis - Dodoo, Donovan, Lin, Ernst (2002) (6 citations) Self-citation (Ernst) (Correct)
Using Simulated Execution in Verifying Distributed.. - Win, Ernst, Garland.. (2004) (3 citations) Self-citation (Ernst) (Correct)
An overview of JML tools and applications - Burdy, Cheon, Ernst, Kiniry (2003) (16 citations) Self-citation (Ernst) (Correct)
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) Self-citation (Ernst) (Correct)
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
Predicting Problems Caused by Component Upgrades - McCamant, Ernst (2003) (9 citations) Self-citation (Ernst) (Correct)
Improving Test Suites via Operational Abstraction - Harder, Mellen, Ernst (2003) (14 citations) Self-citation (Ernst) (Correct)
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Ernst) (Correct)
Verifying Distributed Algorithms via Dynamic Analysis and.. - Win, Ernst (2002) (1 citation) Self-citation (Ernst) (Correct)
Automatic Generation and Checking of Program Specifications - Nimmer (2001) (2 citations) Self-citation (Nimmer) (Correct)
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