Michael D. Ernst, William G. Griswold, Yoshio Kataoka, David Notkin  Home/Search
Context Related
| washington.edu/hom...riantspointers.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: washington.edu/homes/mernst/pu... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Explicitly stated program invariants can help programmers by characterizing aspects of program execution and identifying program properties that must be preserved when modifying code; invariants can also be of assistance to automated tools. Unfortunately, these invariants are usually absent from code. Previous work showed how to dynamically invariants from program traces by looking for patterns in and relationships among variable values. Although the original prototype recovered invariants from ... (Update)
Cited by: More
A Technique for Verifying Component-Based Software - Mariani, Pezze (2004) (Correct)
Automated Support for Program Refactoring using Invariants - Yoshio Kataoka Michael (2001) (Correct)
Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (Correct)
Similar documents (at the sentence level):
29.3%: Dynamically Discovering Program Invariants Involving.. - Ernst, Griswold.. (2000) (Correct)
10.3%: Quickly Detecting Relevant Program Invariants - Ernst, Griswold, Notkin (1999) (Correct)
8.1%: Dynamically Discovering Likely Program Invariants - Ernst (2000) (Correct)
Active bibliography (related documents): More All
0.7: Dynamically Discovering Likely Program Invariants to .. - Ernst, Cockrell.. (2000) (Correct)
0.3: Automatic Generation and Checking of Program Specifications - Nimmer (2001) (Correct)
0.3: Automatic Generation of Program Specifications - Nimmer, Ernst (2002) (Correct)
Related documents from co-citation: More All
16: Dynamically Discovering Likely Program Invariants to Support Program Evolution - Ernst, Cockrell et al. - 1999
10: Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 1999
6: Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
BibTeX entry: (Update)
Michael D. Ernst, William G. Griswold, Yoshio Kataoka, and David Notkin. Dynamically discovering pointer-based program invariants. Technical Report UWCSE -99-11-02, University of Washington, Seattle, WA, November 16, 1999. http://citeseer.ist.psu.edu/article/ernst99dynamically.html More
@inproceedings{ ernst99dynamically,
author = "Michael D. Ernst and Jake Cockrell and William G. Griswold and David Notkin",
title = "Dynamically Discovering Likely Program Invariants to Support Program Evolution",
booktitle = "International Conference on Software Engineering",
pages = "213-224",
year = "1999",
url = "citeseer.ist.psu.edu/article/ernst99dynamically.html" }
Citations (may not include all citations):252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
232 Program Analysis and Specialization for the C Programming La.. (context) - Andersen - 1994
228 Points-to analysis in almost linear time - Steensgaard - 1996
207 Flow analysis and optimization of Lisp-like structures (context) - Jones, Muchnick - 1981
197 Dependent types in practical programming - Xi, Pfenning - 1999
180 Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
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
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
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
99 A shape analysis for heapdirected pointers in C (context) - Ghiya, Hendren et al. - 1996
92 A flexible approach to interprocedural data flow analysis an.. (context) - Jones, Muchnick - 1982
88 Static detection of dynamic memory errors - Evans - 1996
84 Data flow analysis for verifying properties of concurrent pr.. - Dwyer, Clarke - 1994
79 Abstractions for recursive pointer data structures: Improvin.. - Hendren, Hummel et al. - 1992
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
63 LCLint: A tool for using specifications to check code - Evans, Guttag et al. - 1994
56 An overview of the Extended Static Checking system - Detlefs - 1996
55 Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 1999
49 Reasoning about Java classes - Jacobs, van den Berg et al. - 1998
39 An empirical analysis of instruction repetition (context) - Sodani, Sohi - 1998
39 The effects of precision on pointer analysis - Shapiro, Horwitz - 1997
35 Value profiling and optimization - Calder, Feller et al.
33 Speculative disambiguation: A compilation technique for dyna.. (context) - Huang, Slavenburg et al. - 1994
26 An extended static checker for Modula (context) - Rustan, Leino et al. - 1998
24 Dependent types in logic programming (context) - Pfenning - 1992
22 Data structures and algorithm analysis in Java (context) - Weiss - 1999
17 Assessing the effects of flow-sensitivity on pointer alias a.. - Hind, Pioli - 1998
16 Verification of concurrent software with FLAVERS (context) - Naumovich, Clarke et al. - 1997
15 A practical context-sensitive interprocedural alias analysis.. (context) - Hendren, Emami et al. - 1993
15 Run-time disambiguation: Coping with statically unpredictabl.. (context) - Nicolau - 1989
14 Formal specification techniques for promoting software modul.. (context) - Tan - 1994
13 Theoretical Computer Science (context) - Zenger - 1997
11 and Alan Eustace (context) - Calder, Feller - 1997
10 A study of pointer aliasing for software pipelining using ru.. (context) - Su, Habib et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.washington.edu/homes/mernst/pubs/): More
Practical Fine-Grained Static Slicing of Optimized Code - Ernst (1994) (Correct)
Adequate Models for Recursive Program Schemes - Ernst (1989) (Correct)
Slicing Pointers and Procedures (abstract) - Ernst (1995) (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