Michael D. Ernst, Adam Czeisler William G. Griswold, David Notkin  Home/Search
Context Related
Links: ACM DBLP | washington.edu/hom...iantsrelevance.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. Unfortunately, these invariants are usually absent from code. Previous work showed how to dynamically infer invariants from program traces by looking for patterns in and relationships among variable values. Although the original prototype recovered invariants from formally-specified programs, and the invariants it ... (Update)
Cited by: More
Building an Infrastructure to Support - Experimentation With Software (Correct)
Infrastructure Support for Controlled Experimentation - With Software Testing (Correct)
Finding Application Errors and Security Flaws - Using Pql Program (Correct)
Similar documents (at the sentence level):
27.6%: Quickly Detecting Relevant Program Invariants - Ernst, Czeisler, Griswold.. (1999) (Correct)
10.1%: Dynamically Discovering Pointer-Based Program Invariants - Ernst, Griswold, Kataoka.. (1999) (Correct)
Active bibliography (related documents): More All
0.1: Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (Correct)
0.1: Dynamically Discovering Likely Program Invariants to .. - Ernst, Cockrell.. (2000) (Correct)
0.1: Automatic Generation and Checking of Program Specifications - Nimmer (2001) (Correct)
Similar documents based on text: More All
0.3: Automated Support for Program Refactoring using Invariants - Yoshio Kataoka Michael (2001) (Correct)
0.2: Dynamically Discovering Program Invariants Involving.. - Ernst, Griswold.. (2000) (Correct)
0.2: Exploiting Synergy Between Testing and Inferred Partial.. - Xie, Notkin (2003) (Correct)
Related documents from co-citation: More All
47: Dynamically Discovering Likely Program Invariants to Support Program Evolution - Ernst, Cockrell et al. - 1999
17: Reasoning about Java classes - Jacobs, van den Berg et al. - 1998
16: annotation assistant escjava (context) - Rustan, an et al. - 2001
BibTeX entry: (Update)
Michael D. Ernst, Adam Czeisler, William G. Griswold, and David Notkin. Quickly detecting relevant program invariants. Technical Report UW-CSE-99-11-01, University of Washington, Seattle, WA, November 15, 1999. http://citeseer.ist.psu.edu/ernst99quickly.html More
@inproceedings{ ernst00quickly,
author = "Michael D. Ernst and Adam Czeisler and William G. Griswold and David Notkin",
title = "Quickly detecting relevant program invariants",
booktitle = "International Conference on Software Engineering",
pages = "449-458",
year = "2000",
url = "citeseer.ist.psu.edu/ernst99quickly.html" }
Citations (may not include all citations):275 The Science of Programming (context) - Gries - 1981
171 Dynamically discovering likely program invariants to support.. - Ernst, Cockrell et al. - 1999 ACM DBLP
79 Automatic Information Organization and Retrieval (context) - Salton - 1968
72 Experiments on the effectiveness of dataflow- and controlflo.. (context) - Hutchins, Foster et al. - 1994
48 Empirical studies of a safe regression test selection techni.. - Rothermel, Harrold - 1998 ACM DBLP
35 Lackwit: A program understanding tool based on type inferenc.. - O'Callahan, Jackson - 1997
22 Data structures and algorithm analysis in Java (context) - Weiss - 1999
13 Dynamically discovering pointer-based program invariants - Ernst, Griswold et al. - 1999
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