Data structure repair using goal-directed reasoning

Proceedings - International Conference on Software Engineering

Volumn 2005, Issue , 2005, Pages 176-185

  Demsky, Brian ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Data structure invariants; Data structure repair

Indexed keywords

DATA STRUCTURE INVARIANTS; DATA STRUCTURE REPAIR; GOAL DIRECTED REASONING;

ALGORITHMS; BIT ERROR RATE; COMPUTER PROGRAM LISTINGS; FORMAL LOGIC; TRANSLATION (LANGUAGES);

DATA STRUCTURES;

EID: 33244493764     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2005.1553560     Document Type: Conference Paper

References (22)

1. Center-tracon automation system. http://www.ctas.arc.nasa.gov/.
2. A. Mishra et al. R++: Using rules in object-oriented designs. In OOPSLA, July 1996.
3. G. Candea and A. Fox. Recursive restartability: Turning the reboot sledgehammer into a scalpel. In HotOS-VIII, May 2001.
4. S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In VLDB, pages 566-577, 1990.
5. D. A. Patterson et al. Recovery-oriented computing (ROC): Motivation, definition, techniques, and case studies. Technical Report UCB//CSD-02-1175, UC Berkeley Computer Science, March 15, 2002.
6. D. Litman et al. Modeling dynamic collections of interdependent objects using path-based rules. In OOPSLA, October 1997.
7. B. Demsky and M. Rinard. Automatic detection and repair of errors in data structures. In OOPSLA, October 2003.
8. B. Demsky and M. Rinard. Data structure repair using goal-directed reasoning. Technical Report 950, MIT Computer Science and Artificial Intelligence Laboratory, 2004.
9. G. Haugk. The 5ESS(TM) switching system: Maintenance capabilities. AT&T Technical Journal, 64(6 part 2):1385-1416, July-August 1985.
10. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
11. R. Hoover. Incremental computation as a programming abstraction. In PLDI, 1992.
12. J. Corbett et al. Bandera : Extracting finite-state models from Java source code. In ICSE, 2000.
13. D. A. Ladd and J. C. Ramming. Two application languages in software production. In VHLL, October 1994.
14. G. Lopez. The Design and Implementation of Kaleidoscope, A Constraint Imperative Programming Language. PhD thesis, University of Washington, April 1997.
15. M. B. Taylor et al. The Raw microprocessor: A computational fabric for software circuits and general-purpose programs. In IEEE Micro, Mar/Apr 2002.
16. S. Mourad and D. Andrews. On the reliability of the IBM MVS/XA operating system. TSE, September 1987.
17. N. Gupta et al. Auditdraw: Generating audits the FAST way. In ISCE, 1997.
18. M. Rosenblum and J. Ousterhout. The design and implementation of a log-structured file system. In SOSP, Oct. 1991.
19. S. Ceri et al. Automatic generation of production rules for integrity maintenance. TODS, 19(3), September 1994.
20. S. Hallem et al. A system and language for building system-specific, static analyses. In PLDI, 2002.
21. T. Griffin et al. Generating update constraints from PRL 5.0 specifications. In Preliminary report presented at AT&T Database Day, September 1992.
22. S. D. Urban and L. M. Delcambre. Constraint analysis: A design process for specifying operations on objects. TKDE, 2(4), December 1990.