Specification-Based Data Structure Repair Brian Demsky Martin Rinard...  @ NUS Home/Search
Context
Related
| mit.edu/~rinard/paper/issre03.ps Cached: PS.gz PS PDF Image Update Help From: mit.edu/~rinard/paper/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have developed a system that accepts a specification of key data structure consistency constraints, then dynamically detects and repairs violations of these constraints. It is possible to write specifications that are not satisfiable or that for other reasons may cause the repair process to not terminate. We present a static specification analysis that determines whether the repair process will terminate for a given specification. (Update)
Similar documents (at the sentence level):
20.9%: Automatic Detection and Repair of Errors in Data Structures - Demsky, Rinard (2002) (Correct)
19.1%: Automatic Detection and Repair of Errors in Data - Structures Brian Demsky (Correct)
Active bibliography (related documents): More All
0.8: Data Structure Repair Using Goal-Directed Reasoning - Brian Demsky Massachusetts (Correct)
0.5: Efficient Specification-Assisted Error Localization - Demsky, Cadar, Roy, Rinard (Correct)
0.4: Automatic Data Structure Repair for Self-Healing Systems - Brian Demsky Massachusetts (2003) (Correct)
Similar documents based on text: More All
0.1: Region-Based Memory Management for Real-Time Java - Beebee, Jr. (2001) (Correct)
0.1: Role-Based Exploration of Object-Oriented Programs - Demsky, Rinard (2002) (Correct)
0.1: Pointer ANalysis and its Applications for Java Programs - Salcianu (2001) (Correct)
BibTeX entry: (Update)
@misc{ structure-static,
author = "Specification-Based Data Structure",
title = "Static Specification Analysis for Termination of",
url = "citeseer.comp.nus.edu.sg/660181.html" }
Citations (may not include all citations):901 Transaction Processing: Concepts and Techniques (context) - Gray, Reuter - 1993
270 Bandera : Extracting finite-state models from java source co.. - Corbett, Dwyer et al. - 2000
146 Deriving production rules for constraint maintenance - Ceri, Widom - 1990
65 Alloy: A lightweight object modelling notation - Jackson - 2000
51 Esp: Path-sensitive program verification in polynomial time - Das, Lerner et al. - 2002
50 Self-stabilization in spite of distributed control (context) - Dijkstra - 1974
47 A system and language for building system-specific (context) - Hallem, Chelf et al. - 2002
45 Recursive restartability: Turning the reboot sledgehammer in.. - Candea, Fox - 2001
35 The Magic Garden Explained:The Internals of Unix System V Re.. (context) - Goodheart, Cox - 1994
34 Automatic generation of production rules for integrity maint.. (context) - Ceri, Fraternali et al. - 1994
16 UC Berkeley Computer Science (context) - Patterson, computing et al. - 2002
16 Two application languages in software production - Ladd, Ramming - 1994
15 Auditdraw: Generating audits the FAST way - Gupta, Jagadeesan et al. - 1997
15 switching system: Maintenance capabilities (context) - Haugk, Lax et al. - 1985
13 Constraint analysis: A design process for specifying operati.. (context) - Urban, Delcambre - 1990
13 Automatic detection and repair of errors in data structures - Demsky, Rinard - 2003
13 Efficient and precise datarace detection for multithreaded o.. - Choi - 2002
10 reliability IBM MVXA operating system (context) - Andrews, reliability et al. - 1987
7 Software Fault Injection (context) - Voas, McGraw - 1998
7 FIG: A prototype tool for online verification of recovery me.. - Broadwell, Sastry et al. - 2002
5 Second extended file system (context) - Poirier - 2002
5 Centertracon automation system Development and evaluation fi.. - Nowlin, Wells et al. - 1993
5 Consistency management with repair actions - Nentwich, Emmerich et al. - 2003
4 Generating update constraints from prl (context) - Griffin, Trickey et al. - 1992
http://www.rational.com/uml
http://www.ctas.arc.nasa.gov/
Documents on the same site (http://www.cag.lcs.mit.edu/~rinard/paper/): More
Hierarchical Concurrency in Jade - Scales, Rinard, Lam, Anderson (Correct)
Commutativity Analysis: A Technique for Automatically.. - Rinard, Diniz (1996) (Correct)
Commutativity Analysis: A New Analysis Framework for.. - Rinard, Diniz (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.