Sudheendra Hangal, Monica S. Lam  Home/Search
Context Related
| stanford.edu/papers/Diduce.ps.gz 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: stanford.edu/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces DIDUCE, a practical and effective tool that aids programmers in detecting complex program errors and identifying their root causes. By instrumenting a program and observing its behavior as it runs, DIDUCE dynamically formulates hypotheses of invariants obeyed by the program. DIDUCE hypothesizes the strictest invariants at the beginning, and gradually relaxes the hypothesis as violations are detected to allow for new behavior. The violations reported help users to catch... (Update)
Cited by: More
Combining Statistical Monitoring and Predictable - Recovery For Self-Management (Correct)
Scalable Statistical Bug Isolation - Ben Liblit Computer (2005) (Correct)
Enhancing Software Reliability With Speculative Threads - And The Committee (Correct)
Active bibliography (related documents): More All
0.0: Cmc: A Model Checker For Network Protocol Implementations - Musuvathi (2004) (Correct)
0.0: Path-Sensitive Program Verification in Polynomial Time - Das, Lerner, Seigle (2002) (Correct)
0.0: Dynamic Analysis from the Bottom Up - Mock (Correct)
Similar documents based on text: More All
0.2: Dynamically Discovering Program Invariants Involving.. - Ernst, Griswold.. (2000) (Correct)
0.1: Dynamically Discovering Pointer-Based Program Invariants - Ernst, Griswold, Kataoka.. (1999) (Correct)
0.1: Security in the Jini Networking Technology: A Decentralized Trust .. - Eronen (2001) (Correct)
Related documents from co-citation: More All
44: Dynamically Discovering Likely Program Invariants to Support Program Evolution - Ernst, Cockrell et al. - 1999
15: Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 1999
14: Semantic anomaly detection in online data sources - Raz, Koopman et al. - 2002
BibTeX entry: (Update)
S. Hangal and M. S. Lam. Tracking Down Software Bugs Using Automatic Anomaly Detection. In International Conference on Software Engineering, June 2002. http://citeseer.ist.psu.edu/hangal02tracking.html More
@inproceedings{ hangal-tracking,
author = "Sudheendra Hangal and Monica S. Lam",
title = "Tracking Down Software Bugs Using Automatic Anomaly Detection",
inproceedings = "Proceedings of the International Conference on Software Engineering",
month = may,
year = 2002,
url = "citeseer.ist.psu.edu/hangal02tracking.html" }
Citations (may not include all citations):171 Dynamically Discovering Likely Program Invariants to Support.. - Ernst, Cockrell et al. - 2001 ACM DBLP
138 Enforcing High Level Protocols in Low Level Software - DeLine, Fahndrich - 2001
100 Checking System Rules Using System-Specific (context) - Engler, Chelf et al. - 2000
98 Purify: Fast Detection of Memory Leaks and Access Errors (context) - Hastings, Joyce - 1992
67 Bugs as Deviant Behavior: A General Approach to Inferring Er.. - Engler, Chen et al. - 2001
59 A Static Analyzer for Finding Dynamic Programming Errors - Bush, Pincus et al. - 2000 ACM DBLP
51 Extended Static Checking - Detlefs, Leino et al. - 1998 ACM DBLP
33 The Java Virtual Machine (context) - Lindholm, Yellin ACM
23 The Concept of Dynamic Analysis - Ball - 1999 ACM DBLP
1 An Investigation of the Therac-25 Accidents IEEE Computer (context) - Leveson, Turner - 1993
http://www.sourceforge.net/projects/joeq
http://www.sourceforge.net/projects/bcel
http://ravel.esrin.esa.it/docs/esa-x1819eng
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://suif.stanford.edu/papers/): More
An Overview of the SUIF Compiler for Scalable Parallel.. - Amarasinghe, Anderson, .. (1993) (Correct)
Efficient Context-Sensitive Pointer Analysis for C Programs - Wilson, Lam (1995) (Correct)
Interprocedural Parallelization Analysis: A Case Study - Hall, Murphy, Amarasinghe (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