Static Specification Analysis for Termination of  (Make Corrections)  
Specification-Based Data Structure Repair Brian Demsky Martin Rinard...

 @ NUS   Home/Search   Context   Related

 
View or download:
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  
(Enter summary)

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.