Automatic Detection and Repair of Errors in Data  (Make Corrections)  
Structures Brian Demsky Massachusetts Institute of Technology Martin Rinard...

 @ NUS   Home/Search   Context   Related

 
View or download:
mit.edu/~rinard/pa...oopsla03.repair.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  
(Enter summary)

Abstract: We present a system that accepts a specification of key data structure consistency constraints, then dynamically detects and repairs violations of these constraints, enabling the program to continue to execute productively even in the face of otherwise crippling errors. Our experience using our system indicates that the specifications are relatively easy to develop once one understands the data structures. Furthermore, for our set of benchmark applications, our system can e#ectively repair... (Update)

Similar documents (at the sentence level):
43.0%:   Automatic Detection and Repair of Errors in Data Structures - Demsky, Rinard (2002)   (Correct)
15.0%:   Static Specification Analysis for Termination of - Specification-Based Data..   (Correct)
5.5%:   Data Structure Repair Using Goal-Directed Reasoning - Brian Demsky Massachusetts   (Correct)

Active bibliography (related documents):   More   All
0.4:   Efficient Specification-Assisted Error Localization - Brian Demsky Cristian (2004)   (Correct)
0.3:   Automatic Data Structure Repair for Self-Healing Systems - Brian Demsky Massachusetts (2003)   (Correct)
0.3:   Acceptability-Oriented Computing - Martin Rinard Mit (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{ demsky-automatic,
  author = "Structures Brian Demsky",
  title = "Automatic Detection and Repair of Errors in Data",
  url = "citeseer.comp.nus.edu.sg/682090.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
74   Ownership types for flexible alias protection - Clarke, Potter et al. - 1998
65   Typestate: A programming language concept for enhancing soft.. (context) - Strom, Yemini - 1986
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
43   Ownership types for safe programming: Preventing data races .. - Boyapati, Lee et al. - 2002
35   The Magic Garden Explained:The Internals of Unix System V Re.. (context) - Goodheart, Cox - 1994
35   Role analysis - Kuncak, Lam et al. - 2002
34   Automatic generation of production rules for integrity maint.. (context) - Ceri, Fraternali et al. - 1994
16   Two application languages in software production - Ladd, Ramming - 1994
16   UC Berkeley Computer Science (context) - Patterson, computing et al. - 2002
15   cient and precise datarace detection for multithreaded objec.. (context) - Choi - 2002
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
10   reliability IBM MVXA operating system (context) - Andrews, reliability et al. - 1987
7   FIG: A prototype tool for online verification of recovery me.. - Broadwell, Sastry et al. - 2002
7   Software Fault Injection (context) - Voas, McGraw - 1998
5   Software analysis: A roadmap (context) - Jackson, Rinard - 2000
5   Consistency management with repair actions - Nentwich, Emmerich et al. - 2003
5   Second extended file system (context) - Poirier - 2002
5   Centertracon automation system Development and evaluation fi.. - Nowlin, Wells et al. - 1993
4   Generating update constraints from prl (context) - Gri, Trickey et al. - 1992
http://www.ctas.arc.nasa.gov/
http://www.rational.com/uml

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.