Static specification analysis for termination of specification-based data structure repair

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2003-January, Issue , 2003, Pages 71-84

  Demsky, B ^a   Rinard, M ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; REPAIR; SPECIFICATIONS;

CONSISTENCY CONSTRAINTS; DATA STRUCTURE REPAIRS; REPAIR PROCESS;

SOFTWARE RELIABILITY;

EID: 84954432680     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2003.1251032     Document Type: Conference Paper

References (26)

1. Center-tracon automation system. http://www.ctas.arc.nasa.gov/ .
2. 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.
3. 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.
4. 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.
5. S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proceedings of 1990 VLDB Conference, pages 566-577.
6. 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.
7. 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.
8. 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.
9. B. Demsky and M. C. Rinard. Automatic detection and repair of errors in data structures. In Proceedings of the 18th Annual ACM SIGPLAN Conference of Object-Oriented Programming, Systems, Languages, and Applications, October 2003.
10. E. W. Dijkstra. Self-stabilization in spite of distributed control. In Communications of the ACM 17(11):643-644, 1974.
11. B. Goodheart and J. Cox. The Magic Garden Explained:The Internals of Unix System V Release 4: An Open Systems Design. Prentice Hall, 1994.
12. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
13. T. Griffin, H. Trickey, and C. Tuckey. Generating update constraints from prl5.0 specifications. In Preliminary report presented at ATT Database Day, September 1992.
14. 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.
15. 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.
16. 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.
17. D. Jackson. Alloy: A lightweight object modelling notation. Technical Report 797, Laboratory for Computer Science, Massachusetts Institute of Technology, 2000.
18. 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.
19. S. Mourad and D. Andrews. On the reliability of the IBM MVS/XA operating system. IEEE Transactions on Software Engineering, September 1987.
20. C. Nentwich, W. Emmerich, and A. Finkelstein. Consistency management with repair actions. In Proceedings of the 25th International Conference on Software Engineering, May 2003.
21. 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.
22. D. Poirier. Second extended file system. http://www.nongnu.org/ext2-doc/ , Aug 2002.
23. Rational Inc. The unified modeling language. http://www.rational.com/uml.
24. 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.
25. 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.
26. J. M. Voas and G. McGraw. Software Fault Injection. Wiley, 1998.