Jeremy W. Nimmer  Home/Search
Context Related
| mit.edu/publicatio...MITLCSTR852.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/publications/pubs/pdf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis introduces the idea of combining automatic generation and checking of program specifications, assesses its efficacy, and suggests directions for future research. (Update)
Cited by: More
Invariant Inference for Static Checking: An Empirical Evaluation - Nimmer, Ernst (2002) (Correct)
Automatic Generation of Program Specifications - Nimmer, Ernst (2002) (Correct)
Efficient Incremental Algorithms for Dynamic Detection of.. - Perkins, Ernst (2004) (Correct)
Similar documents (at the sentence level):
7.4%: Automatic Generation and Checking of Program Specifications - Nimmer, Ernst (2001) (Correct)
Active bibliography (related documents): More All
1.2: Dynamically Discovering Likely Program Invariants - Ernst (2000) (Correct)
0.9: Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (Correct)
0.7: Dynamically Discovering Likely Program Invariants to .. - Ernst, Cockrell.. (2000) (Correct)
Similar documents based on text: More All
0.2: Quickly Detecting Relevant Program Invariants - Ernst, Czeisler, Griswold.. (1999) (Correct)
0.1: Dynamically Discovering Program Invariants Involving.. - Ernst, Griswold.. (2000) (Correct)
0.1: Dynamically Discovering Pointer-Based Program Invariants - Ernst, Griswold, Kataoka.. (1999) (Correct)
Related documents from co-citation: More All
10: Dynamically Discovering Likely Program Invariants to Support Program Evolution - Ernst, Cockrell et al. - 1999
5: annotation assistant escjava (context) - Rustan, an et al. - 2001
5: Preliminary design of JML: A behavioral interface specification language for Jav.. - Leavens, Baker et al. - 1998
BibTeX entry: (Update)
J. W. Nimmer and M. D. Ernst. Automatic generation and checking of program specifications. Technical Report 823, MIT Lab for Computer Science, Aug. 2001. http://citeseer.ist.psu.edu/nimmer01automatic.html More
@misc{ nimmer01automatic,
author = "J. Nimmer and M. Ernst",
title = "Automatic generation and checking of program specifications",
text = "J. W. Nimmer and M. D. Ernst. Automatic generation and checking of program
specifications. Technical Report 823, MIT Lab for Computer Science, Aug.
2001.",
year = "2001",
url = "citeseer.ist.psu.edu/nimmer01automatic.html" }
Citations (may not include all citations):416 Information Retrieval - van Rijsbergen - 1979
295 PVS: A prototype verification system (context) - Owre, Rushby et al. - 1992
270 Bandera: Extracting finite-state models from Java source cod.. - Corbett, Dwyer et al. - 2000
270 Formal verification for faulttolerant architectures: Prolego.. - Owre, Rushby et al. - 1995
267 Software Engineering: A Practitioner 's Approach (context) - Pressman - 1992
175 Watch What I Do: Programming by Demonstration (context) - Cypher, Halbert et al. - 1993
171 Dynamically discovering likely program invariants to support.. - Ernst, Cockrell et al. - 1999
171 Dynamically Discovering Likely Program Invariants - Ernst - 2000
170 The national technology roadmap for semiconductors (context) - Association - 1994
143 Fundamentals of Software Engineering (context) - Ghezzi, Jazayeri et al. - 1991
141 Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
140 Model checking Java programs using Java PathFinder - Havelund, Pressburger - 2000
140 Preliminary design of JML: A behavioral interface specificat.. - Leavens, Baker et al. - 2000
139 introduction to InputOutput automata (context) - Lynch, An et al. - 1989
79 JML: A notation for detailed design - Leavens, Baker et al. - 1999
79 Automatic Information Organization and Retrieval (context) - Salton - 1968
74 Software Engineering (context) - Sommerville - 1996
69 Unification-based pointer analysis with directional assignme.. - Das - 2000
67 Compaq Systems Research Center (context) - Rustan, Leino et al. - 2000
65 Powerful techniques for the automatic generation of invarian.. - Bensalem, Lakhnech et al. - 1996
63 LCLint: A tool for using specifications to check code - Evans, Guttag et al. - 1994
60 An industrial strength theorem prover for a logic based on C.. - Kaufmann, Moore - 1997
58 Tracking down software bugs using automatic anomaly detectio.. - Hangal, Lam - 2002
56 An overview of the Extended Static Checking system - Detlefs - 1996
55 Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 2000
51 annotation assistant ESCJava (context) - Flanagan, Houdini et al. - 2001
49 Reasoning about Java classes - Jacobs, van den Berg et al. - 1998
46 Learning logical definitions from relations (context) - Quinlan - 1990
45 Grammatically biased learning: Learning logic programs using.. (context) - Cohen - 1994
43 Automatic synthesis of optimal invariant assertions: Mathema.. (context) - Cousot, Cousot - 1977
39 An empirical analysis of instruction repetition (context) - Sodani, Sohi - 1998
34 Event-based detection of concurrency - Cook, Wolf - 1998
33 the Larch Prover (context) - Garland, Guttag - 1990
32 Inductive learning applied to program construction and verif.. (context) - Bratko, Grobelnik - 1993
30 Program Development in Java: Abstraction (context) - Liskov, Guttag - 2001
26 Avoiding exponential explosion: Generating compact verificat.. (context) - Flanagan, Saxe - 2001
26 An extended static checker for Modula (context) - Rustan, Leino et al. - 1998
24 Dependent types in logic programming (context) - Pfenning - 1992
24 An iterative algorithm for synthesizing invariants - Rintanen - 2000
23 The concept of dynamic analysis - Ball - 1999
22 Data Structures and Algorithm Analysis in Java (context) - Weiss - 1999
21 Automated support for program refactoring using invariants - Kataoka, Ernst et al. - 2001
21 Invariant inference for static checking: An empirical evalua.. - Nimmer, Ernst - 2002
20 Semantic anomaly detection in online data sources - Raz, Koopman et al. - 2002
20 Automatic generation of program specifications - Nimmer, Ernst - 2002
20 MIT Laboratory for Computer Science (context) - Garland, Lynch et al. - 1997
19 Version space algebra and its application to programming by .. - Lau, Domingos et al. - 2000
18 Annotation inference for modular checkers - Flanagan, Joshi et al. - 2001
18 A rational design process: How and why to fake it (context) - Parnas, Clements - 1986
17 Relative debugging: A new methodology for debugging scientif.. - Abramson, Foster et al. - 1996
17 The synthesis of loop predicates (context) - Wegbreit - 1974
16 Verification of concurrent software with FLAVERS (context) - Naumovich, Clarke et al. - 1997
16 Generalized Aliasing as a Basis for Program Analysis Tools - O'Callahan - 2001
16 A case study in class library verification: Java's Vector cl.. - Huisman, Jacobs et al. - 2001
15 Static verification dynamically detected program invariant I.. - Nimmer, Static et al. - 2001
13 Dynamically discovering pointer-based program invariants - Ernst, Griswold et al. - 2000
13 The use of program profiling for software maintenance with a.. - Reps, Ball et al. - 1997
12 Automatic generation of invariants and intermediate assertio.. (context) - Bjrner, Browne et al. - 1997
11 and Alan Eustace (context) - Calder, Feller - 1997
10 An empirical investigation of program spectra - Harrold, Rothermel et al. - 1998
8 Software Engineering: Planning for Change (context) - Lamb - 1988
7 Automatic synthesis of specifications from the dynamic obser.. - Boigelot, Godefroid - 1997
7 and Ben Wegbreit (context) - Morris - 1977
7 The semiautomatic generation of inductive assertions for pro.. (context) - Elspas - 1974
6 Verifying distributed algorithms via dynamic analysis and th.. - Win, Ernst - 2002
6 Proving properties of complex data structures (context) - Wegbreit, Spitzen - 1976
5 Selecting predicates for conditional invariant detection usi.. (context) - Dodoo - 2002
4 Also published as Xerox Palo Alto Research Center Research R.. (context) - Nelson, Program et al. - 1980
4 Improving test suites via generated specifications - Harder - 2002
3 Multiple comparisons in psychological research (context) - Ryan - 1959
3 Compaq Systems Research Center (context) - Seres, Java et al. - 2000
1 Laboratory in software engineering (context) - Dept - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.lcs.mit.edu/publications/pubs/pdf/): More
Proving Correctness of a Distributed Shared Memory Implementation - Castro (1999) (Correct)
Experience with Fine-Grain Synchronization in MIMD Machines.. - Yeung, Agarwal (1993) (Correct)
Write Barrier Removal by Static Analysis - Zee, Rinard (2002) (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