Michael D. Ernst  Home/Search
Context Related
| mit.edu/pubs/invar...ernstphdthesis.ps 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/pubs/MichaelDErnst (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This dissertation introduces dynamic detection of program invariants, presents techniques for detecting such invariants from traces, assesses the techniques' efficacy, and points the way for future research. Invariants are valuable in many aspects... (Update)
Cited by: More
Characterising, Explaining, and Exploiting the.. - Binkley, Harman, Krinke (2006) (Correct)
Profiling Deployed Software: Assessing Strategies and Testing.. - Elbaum, Diep (2005) (Correct)
Scalable Statistical Bug Isolation - Ben Liblit Computer (2005) (Correct)
Similar documents (at the sentence level):
16.2%: Dynamically Discovering Likely Program Invariants - Ernst (2000) (Correct)
7.7%: Dynamically Discovering Likely Program Invariants to .. - Ernst, Cockrell.. (2001) (Correct)
Active bibliography (related documents): More All
2.7: Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (Correct)
1.2: Automatic Generation and Checking of Program Specifications - Nimmer (2001) (Correct)
1.1: Invariant Inference for Static Checking: An Empirical Evaluation - Nimmer, Ernst (2002) (Correct)
Similar documents based on text: More All
0.2: Efficient Incremental Algorithms for Dynamic Detection of.. - Perkins, Ernst (2004) (Correct)
0.1: Programming by Demonstration: a Machine Learning Approach - Lau (2001) (Correct)
0.1: Complexity results for Infinite-Horizon Markov Decision Processes - Madani (2000) (Correct)
Related documents from co-citation: More All
20: Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 1999
19: Tracking Down Software Bugs Using Automatic Anomaly Detection - Hangal, Lam - 2002
16: annotation assistant escjava (context) - Rustan, an et al. - 2001
BibTeX entry: (Update)
Michael Ernst, Jake Cockrell, William G. Griswold, and David Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. Proceedings of the 19th International Conference on Software Engineering (ICSE '99), Los Angeles, CA, May 19-21, 1999. http://citeseer.ist.psu.edu/article/ernst00dynamically.html More
@phdthesis{ ernst00dynamically,
author = "Michael D. Ernst",
title = "Dynamically Discovering Likely Program Invariants",
year = "2000",
url = "citeseer.ist.psu.edu/article/ernst00dynamically.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1991
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
652 A Discipline of Programming (context) - Dijkstra - 1976
650 An axiomatic basis for computer programming (context) - Hoare - 1969
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
334 A Computational Logic Handbook (context) - Boyer, Moore - 1997
328 Algorithmic Program Debugging (context) - Shapiro - 1983
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
207 Flow analysis and optimization of Lisp-like structures (context) - Jones, Muchnick - 1981
197 Dependent types in practical programming - Xi, Pfenning - 1999
192 Designing programs that check their work - Blum, Kannan - 1995
190 Inductive inference: Theory and methods (context) - Angluin, Smith - 1983
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
171 Dynamically discovering likely program invariants to support.. - Ernst, Cockrell et al. - 1999
171 Dynamically discovering likely program invariants to support.. - Ernst, Cockrell et al. - 1999
150 Parametric shape analysis via 3-valued logic - Sagiv, Reps et al. - 1999
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990
141 Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
140 Model checking Java programs using Java PathFinder - Havelund, Pressburger - 2000
140 Eraser: A dynamic data race detector for multi-threaded prog.. - Savage, Burrows et al. - 1997
137 The design and implementation of a certifying compiler - Necula, Lee - 1998
120 The Java Virtual Machine Speci cation (context) - Lindholm, Yellin - 1999
110 Eliminating array bound checking through dependent types - Xi, Pfenning - 1998
107 An experimental evaluation of the assumption of independence.. - Knight, Leveson - 1986
101 Context-insensitive alias analysis reconsidered - Ruf - 1995
99 A shape analysis for heap-directed pointers in C (context) - Ghiya, Hendren et al. - 1996
88 Static detection of dynamic memory errors - Evans - 1996
85 Special Issue: Formal Methods in Software Practice (context) - Holzmann, checker et al. - 1997
79 Abstractions for recursive pointer data structures: Improvin.. - Hendren, Hummel et al. - 1992
79 Automatic Information Organization and Retrieval (context) - Salton - 1968
78 PVS: A prototype veri cation system (context) - Owre, Rushby et al. - 1992
72 Dynamic memory disambiguation using the memory con ict bu er - Gallagher, Chen et al. - 1994
70 Points-to analysis in almost linear time - Steensgaard - 1996
68 Version Spaces: An Approach to Concept Learning (context) - Mitchell - 1978
68 Automatic SATcompilation of planning problems - Ernst, Millstein et al. - 1997
68 A practical approach to programming with assertions (context) - Rosenblum - 1995
66 Computational learning theory: Survey and selected bibliogra.. (context) - Angluin - 1992
65 Powerful techniques for the automatic generation of invarian.. - Bensalem, Lakhnech et al. - 1996
64 Automatic program transformation with JOIE - Cohen, rey et al. - 1998
62 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
60 Software and hardware for exploiting speculative parallelism.. - rey, David et al. - 1997
60 An industrial strength theorem prover for a logic based on C.. - Kaufmann, Moore - 1997
57 Formal veri cation for fault-tolerant architectures: Prolego.. - Owre, Rushby et al. - 1995
57 A deadlock detection tool for concurrent Java programs (context) - Demartini, Iosif et al. - 1999
56 An overview of the Extended Static Checking system - Detlefs - 1996
55 Software reliability via run-time result-checking - Wasserman, Blum - 1997
55 Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 2000
50 A fresh look at optimizing array bound checking (context) - Gupta - 1990
50 Elimination of redundant array subscript range checks - Kolte, Wolfe - 1995
49 Reasoning about Java classes - Jacobs, van den Berg et al. - 1998
49 Learning the CLASSIC description logic: Theoretical and expe.. - Cohen, Hirsh - 1994
48 Bandera: Extracting nite-state models from Java source code (context) - Corbett, Dwyer et al. - 2000
48 Empirical studies of a safe regression test selection techni.. - Rothermel, Harrold - 1998
46 Larch: Languages and Tools for Formal Speci cation (context) - Guttag, Horning et al. - 1993
45 Grammatically biased learning: Learning logic programs using.. (context) - Cohen - 1994
44 Discovering models of software processes from event-based da.. - Cook, Wolf - 1998
43 Automatic synthesis of optimal invariant assertions: Mathema.. (context) - Cousot, Cousot - 1977
42 Temporal Veri cation of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
41 Predicate Calculus and Program Semantics (context) - Dijkstra, Scholten - 1990
41 Implementation of an array bound checker (context) - Suzuki, Ishihata - 1977
40 A decidable logic for describing linked data structures - Benedikt, Reps et al. - 1999
39 An empirical analysis of instruction repetition (context) - Sodani, Sohi - 1998
38 The Programmer's Apprentice: A research overview (context) - Rich, Waters - 1988
38 Inferring state constraints for domainindependent planning - Gerevini, Schubert - 1998
37 Shape types - Fradet, Le and et al. - 1997
37 Constructing programs from example computations (context) - Biermann, Krishnaswamy - 1976
37 SUIF Explorer: An interactive and interprocedural paralleliz.. - Liao, Diwan et al. - 1999
35 Evidence-based static branch prediction using machine learni.. - Calder, Grunwald et al. - 1997
34 Event-based detection of concurrency - Cook, Wolf - 1998
33 Speculative disambiguation: A compilation technique for dyna.. (context) - Huang, Slavenburg et al. - 1994
33 Predicting fault incidence using software change history - Graves, Karr et al. - 2000
32 Inductive learning applied to program construction and veri .. (context) - Bratko, Grobelnik - 1993
29 The Science of Programming (context) - Gries - 1981
29 ACL2 theorems about commercial microprocessors - Brock, Kaufmann et al. - 1996
29 Representation of events in nerve nets and nite automata (context) - Kleene - 1956
28 Automatic programming: Myths and prospects (context) - Rich, Waters - 1988
28 Ecient context-sensitive pointer analysis for C programs (context) - Wilson, Lam - 1995
26 An extended static checker for Modula (context) - Rustan, Leino et al. - 1998
26 IEEE Transactions on Software Engineering (context) - McCabe, measure - 1976
26 Inferring constraints from multiple snapshots (context) - Kurlander, Feiner - 1993
25 Instrumentation and optimization WinIntel executable using E.. - Romer, Dennis et al. - 1997
24 Dependent types in logic programming (context) - Pfenning - 1992
23 The concept of dynamic analysis - Ball - 1999
22 ects of precision on pointer analysis (context) - Shapiro, Horwitz - 1997
22 Data Structures and Algorithm Analysis in Java (context) - Weiss - 1999
20 Learning logical de nitions from relations (context) - Quinlan - 1990
19 Version space algebra and its application to programming by .. - Lau, Domingos et al. - 2000
19 Lackwit: A program understanding tool based on type inferenc.. (context) - O'Callahan, Jackson - 1997
19 The use of self checks and voting in software error detectio.. (context) - Leveson, Cha et al. - 1990
18 Java in a Nutshell: A Desktop Quick Reference (context) - Flanagan - 1999
18 Theoretical underpinnings of version spaces (context) - Hirsh - 1991
17 Cambridge Tracts in Theoretical Computer Science (context) - Spivey - 1988
17 Logical analysis of programs (context) - Katz, Manna - 1976
17 The synthesis of loop predicates (context) - Wegbreit - 1974
17 Kluwer Academic Publishers (context) - McMillan, checking - 1993
17 Relative debugging: A new methodology for debugging scienti .. - Abramson, Foster et al. - 1996
16 Temporal-logic queries (context) - Chan - 1993
15 Deferred compilation: The automation of run-time code genera.. - Leone, Lee - 1993
15 A practical context-sensitive interprocedural alias analysis.. (context) - Hendren, Emami et al. - 1993
15 Python Reference Manual (context) - van Rossum - 1997
15 An automated framework for structural test-data generation - Tracey, Clark et al. - 1998
15 A exible approach to interprocedural data ow analysis and pr.. (context) - Jones, Muchnick - 1982
15 Run-time disambiguation: Coping with statically unpredictabl.. (context) - Nicolau - 1989
15 CRegs: A new kind of memory for referencing arrays and point.. (context) - Dietz, Chi - 1988
14 Arti cial Intelligence: A Modern Approach (context) - Russell, Norvig - 1995
14 An algorithm that infers theories from facts (context) - Shapiro - 1981
14 Detecting con icts between structure accesses (context) - Larus, nger - 1988
13 Abstraction and Speci cation in Program Development (context) - Liskov, Guttag - 1986
13 Architectural support for register allocation in the presenc.. (context) - Heggy, So - 1990
13 IEEE Transactions on Software Engineering (context) - German, Wegbreit et al. - 1975
12 Data ow analysis for verifying properties of concurrent prog.. (context) - Dwyer, Clarke - 1994
12 Automatic generation of invariants and intermediate assertio.. (context) - Bj, Anca et al. - 1997
12 Software reliability models: Assumptions (context) - Goel - 1985
11 Program analysis by formal transformation - Ward - 1996
11 McGraw-Hill Series in Computer Science (context) - Mitchell - 1997
10 LCLint: A tool for using speci cations to check code (context) - Evans, Guttag et al. - 1994
10 Random testing - Hamlet - 1994
10 An empirical investigation of program spectra - Harrold, Rothermel et al. - 1998
10 A study of pointer aliasing for software pipelining using ru.. (context) - Su, Habib et al. - 1994
9 Purify: A tool for detecting memory leaks and access errors .. (context) - Hastings, Joyce - 1992
9 Veri cation of concurrent software with FLAVERS (context) - Naumovich, Clarke et al. - 1997
9 Uni cation-based pointer analysis with directional assignmen.. (context) - Das - 2000
8 IEEE Transactions on Software Engineering (context) - Dunlop, Basili et al. - 1984
8 Program Derivation: The Development of Programs From Speci -.. (context) - Dromey - 1989
8 Practical program understanding with type inference (context) - O'Callahan, Jackson - 1996
8 Algorithmic program diagnosis (context) - Shapiro - 1982
7 a system for building customized program analysis tools (context) - Srivastava, Eustace - 1994
7 and Ben Wegbreit (context) - Morris - 1977
7 Discovery: Computational Explorations of the Creative Proces.. (context) - Langley, Simon et al. - 1987
7 Society for Industrial and Applied Mathematics (context) - aszl, Lov et al. - 1986
7 jContractor: A re ective Java library to support design by c.. (context) - Karaorman, Holzle et al. - 1999
7 The semiautomatic generation of inductive assertions for pro.. (context) - Elspas - 1974
7 Strongest postcondition semantics as the formal basis for re.. - Gannod, Cheng - 1996
6 Front End Internal Documentation (context) - Group - 1995
6 Proving properties of complex data structures (context) - Wegbreit, Spitzen - 1976
6 Optimizing a solver of polymorphism constraints: SEMI (context) - O'Callahan - 1999
6 Value pro ling (context) - Calder, Feller et al. - 1997
5 Tools and techniques for Java API testing (context) - Ho, Paul - 1999
5 Value pro ling and optimization - Calder, Feller et al. - 1999
5 and Bruce Forstall (context) - Henry, Whaley - 1990
5 Softspec: Software-based speculative parallelism via stride .. - Devabhaktuni, Petkov et al. - 1998
5 Automatic generation of state invariants from requirements s.. (context) - Je, Constance - 1998
4 Integrated formal veri cation: Using model checking with aut.. (context) - Rushby - 1999
4 The use of program pro ling for software maintenance with ap.. (context) - Reps, Ball et al. - 1997
4 Automatically Inferring Properties of Computer Programs (context) - Givan - 1996
4 and Malcolm Munro (context) - Ward, Calliss - 1989
4 Query-based debugging of object-oriented programs (context) - Lencevicius, olzle et al. - 1997
4 ects of ow-sensitivity on pointer alias analyses (context) - Hind, Pioli - 1998
4 The potential for thread-level data speculation in tightly-c.. (context) - Ste, Todd et al. - 1997
4 Automatic detection of invariants in Spin (context) - Vaziri, Holzmann - 1998
3 A speci cation matching based approach to reverse engineerin.. (context) - Gannod, Cheng - 1999
3 Intelligent machinery and mathematical discovery - Larson - 1999
3 Does imperfect debugging a ect software reliability growth (context) - Ohba, Chou - 1989
3 Structural speci cation-based testing: Automated support and.. (context) - Chang, Richardson - 1999
2 Abstraction of formal speci cations from program code (context) - Cheng, Gannod - 1991
2 Interprocedural data ow analysis in the presence of pointers (context) - Weihl - 1980
2 From programs to Z speci cations (context) - Lano, Breuer - 1990
2 An OO framework and implementation for long running business.. (context) - Bennett, Le and et al. - 1999
2 Formal speci cation techniques for promoting software modula.. (context) - Tan - 1994
2 a very high-level debugging language - Golan, Hanson - 1993
2 Data mining with Cubist (context) - Research - 1998
2 Promises: Limited speci cations for analysis and manipulatio.. (context) - Chan, Boyland et al. - 1998
2 Java Examples in a Nutshell: A Tutorial Companion to Java in.. (context) - Flanagan - 1997
2 Why some machines do science well (context) - ul, Vald et al. - 1998
2 Comparing ow-based binding-time analyses (context) - Palsberg - 1995
2 Research summary for dynamic detection of program invariants - Ernst - 1999
2 Inferring program speci cations in polynomial-time (context) - Givan - 1996
2 snapshot of computational learning theory (context) - Angluin - 1996
2 The design of program analysis services (context) - O'Callahan - 1999
2 A strategy for nding the optimal data placement for regular .. (context) - Jones - 1996
2 Testing using log le analysis: Tools (context) - Andrews - 1998
2 Generalizing speci cations for uniformly implemented loops (context) - Dunlop, Basili - 1985
2 Program veri cation system with synthesizer of invariant ass.. (context) - Dan, Yamaguchi et al. - 1989
2 O'Reilly and Associates (context) - Meyer, Downing et al. - 1997
http://www.kai.com
http://oss.software.ibm.com/developerworks/
http://sourceware.cygnus.com/mauve/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://pag.csail.mit.edu/pubs/Michael-D-Ernst.html): More
Quickly Detecting Relevant Program Invariants - Ernst, Czeisler, Griswold.. (1999) (Correct)
Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (Correct)
Unknown - Icse Workshop On (2003) (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