Nii Dodoo, Lee Lin, Michael D. Ernst  Home/Search
Context
Related
| mit.edu/~mernst/pu...redicatestr914.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) Homepages: M.Ernst |
Rate this article:      (best)Comment on this article |
Abstract: This research proposes and evaluates techniques for selecting predicates for conditional program properties --- that is, implications such as p ⇒ q whose consequent must be true whenever the predicate is true. Conditional properties are prevalent in recursive data structures, which behave differently in their base and recursive cases, in programs that contain branches, in programs that fail only on some inputs, and in many other situations. The experimental context of the research is... (Update)
Active bibliography (related documents): More All
0.4: Fault Localization with Nearest Neighbor Queries - Renieris, Reiss (2003) (Correct)
0.4: Selecting Predicates for Implications in Program Analysis - Dodoo, Donovan, Lin, Ernst (2002) (Correct)
0.4: Automatic Generation and Checking of Program Specifications - Nimmer (2001) (Correct)
BibTeX entry: (Update)
@misc{ dodoo-selecting,
author = "Nii Dodoo and Lee Lin and Michael D. Ernst",
title = "Selecting, Refining, and Evaluating Predicates for Program Analysis",
url = "citeseer.ist.psu.edu/dodoo03selecting.html" }
Citations (may not include all citations):416 Information Retrieval - van Rijsbergen - 1979
190 Data clustering: A review - Jain, Murty et al. - 1999
171 Dynamically Discovering Likely Program Invariants - Ernst - 2000
107 Automatic predicate abstraction of C programs - Ball, Majumdar et al. - 2001
79 Automatic Information Organization and Retrieval (context) - Salton - 1968
72 Experiments on the effectiveness of dataflowand controlflow-.. (context) - Hutchins, Foster et al. - 1994
67 Bugs as deviant behavior: a general approach to inferring er.. - Engler, Chen et al. - 2001
58 Tracking down software bugs using automatic anomaly detectio.. - Hangal, Lam - 2002
55 Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 2000
48 Empirical studies of a safe regression test selection techni.. - Rothermel, Harrold - 1998
22 What went wrong: Explaining counterexamples - Groce, Visser - 2003
22 Data Structures and Algorithm Analysis in Java (context) - Weiss - 1999
21 Invariant inference for static checking: An empirical evalua.. - Nimmer, Ernst - 2002
20 Automatic generation of program specifications - Nimmer, Ernst - 2002
20 Semantic anomaly detection in online data sources - Raz, Koopman et al. - 2002
19 means with efficient estimation of the number of clusters (context) - Pelleg, Moore et al. - 2000
13 Selecting predicates for implications in program analysis - Dodoo, Donovan et al. - 2002
8 Automated fault localization using potential invariants - Pytlik, Renieris et al. - 2003
5 Selecting predicates for conditional invariant detection usi.. (context) - Dodoo - 2002
4 Pursuing failure: the distribution of program failures in a .. (context) - Dickinson, Leon et al. - 2001
1 Estimation of software reliability by stratified sampling - Podgurski, Masri et al. - 1999
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)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (Correct)
Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (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