Automatic detection and repair of errors in data structures

ACM SIGPLAN Notices

Volumn 38, Issue 11, 2003, Pages 78-95

  Demsky, Brian ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Data structure invariants; Data structure repair

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR CORRECTION; ERROR DETECTION; PROGRAM DEBUGGING; SEMANTICS; SET THEORY;

DATA STRUCTURE CONSISTENCY CONSTRAINTS; DATA STRUCTURE INVARIANTS; DATA STRUCTURE REPAIR;

DATA STRUCTURES;

EID: 1442288535     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/949343.949314     Document Type: Conference Paper

References (30)

1. Center-tracon automation system. http://www.ctas.arc.nasa.gov/.
2. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 2002.
3. P. Broadwell, N. Sastry, and J. Traupman. FIG: A prototype tool for online verification of recovery mechanisms. In Workshop on Self-Healing, Adaptive and self-MANaged Systems, June 2002.
4. G. Candea and A. Fox. Recursive restartability: Turning the reboot sledgehammer into a scalpel. In Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), pages 110-115, Schloss Elmau, Germany, May 2001.
5. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems, 19(3), September 1994.
6. S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proceedings of 1990 VLDB Conference, pages 566-577.
7. J.-D. Choi and et al. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the SIGPLAN '02 Conference on Program Language Design and Implementation, 2002.
8. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Proceedings of the 13th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1998.
9. J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from java source code. In Proceedings of the 22nd International Conference on Software Engineering, 2000.
10. M. Das, S. Lerner, and M. Seigle. Esp: Path-sensitive program verification in polynomial time. In Proceedings of the SIGPLAN '02 Conference on Program Language Design and Implementation, 2002.
11. E. W. Dijkstra. Self-stabilization in spite of distributed control. In Communications of the ACM 17(11):643-644, 1974.
12. B. Goodheart and J. Cox. The Magic Garden Explained: The Internals of Unix System V Release 4: An Open Systems Design. Prentice Hall, 1994.
13. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
14. T. Griffin, H. Trickey, and C. Tuckey. Generating update constraints from prl5.0 specifications. In Preliminary report presented at ATT Database Day, September 1992.
15. N. Gupta, L. Jagadeesan, E. Koutsofios, and D. Weiss. Auditdraw: Generating audits the FAST way. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering, 1997.
16. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the SIGPLAN '02 Conference on Program Language Design and Implementation, 2002.
17. G. Haugk, F. Lax, R. Royer, and J. Williams. The 5ESS(TM) switching system: Maintenance capabilities. AT&T Technical Journal, 64(6 part 2):1385-1416, July-August 1985.
18. D. Jackson. Alloy: A lightweight object modelling notation. Technical Report 797, Laboratoryfor Computer Science, Massachussetts Institute of Technology, 2000.
19. D. Jackson and M. C. Rinard. Software analysis: A roadmap. In Proceedings of 22nd International Conference On Software Engineering (ICSE'00) - Future of SE Track, June 2000.
20. V. Kuncak, P. Lam, and M. Rinard. Role analysis. In Proceedings of the 29th Annual ACM Symposium on the Principles of Programming Languages, 2002.
21. D. A. Ladd and J. C. Ramming. Two application languages in software production. In Proceedings of the 1994 USENIX Symposium on Very High Level Language (VHLL), October 1994.
22. S. Mourad and D. Andrews. On the reliability of the IBM MVS/XA operating system. IEEE Transactions on Software Engineering, September 1987.
23. C. Nentwick, W. Emmerich, and A. Finkelstein. Consistency management with repair actions. In Proceedings of the 25th International Conference on Software Engineering, May 2003.
24. D. A. Patterson and 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.
25. D. Poirier. Second extended file system. http://www.nongnu.org/ext2-do/, Aug 2002.
26. Rational Inc. The unified modeling language. http://www.rational.com/uml.
27. B. D. Sanford, K. Harwood, S. Nowlin, H. Bergeron, H. Heinrichs, G. Wells, and M. Hart. Center/tracon automation system: Development and evaluation in the field. In 38th Annual Air Traffic Control Association Conference Proceedings, October 1993.
28. R. E. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering, January 1986.
29. S. D. Urban and L. M. Delcambre. Constraint analysis: A design process for specifying operations on objects. IEEE Transactions on Knowledge and Data Engineering, 2(4), December 1990.
30. J. M. Voas and G. McGraw. Software Fault Injection. Wiley, 1998.