Towards self-protecting enterprise applications

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2007, Pages 39-48

  Lorenzoli, Davide ^a   Mariani, Leonardo ^a   Pezzè, Mauro ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; LEAD; MECHANISMS; QUALITY ASSURANCE; SAFETY ENGINEERING; SOFTWARE RELIABILITY; TECHNICAL PRESENTATIONS; WEIGHT CONTROL;

ENTERPRISE APPLICATIONS; ENTERPRISE SYSTEM (ES); FAULT TOLERANCE TECHNIQUES; HIGH AVAILABILITY AND RELIABILITY; INTERNATIONAL SYMPOSIUM; PROGRAM POINTS; SELF-PROTECTING; SOFTWARE FAILURES; SOFTWARE RELIABILITY ENGINEERING;

RELIABILITY;

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

References (29)

1. R. Abbott. Resourceful systems for fault tolerance, reliability, and safety. ACM Computing Surveys, 22(1), 1990.
2. M. Bushneil and V. Agrawal. Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits., pages 463-488. Kluwer Academic Publishers, 2000.
3. Business Internet Group. The black friday report on web application integrity. Report, BIG-SF, 2004.
4. H. Chen, T. Tse, and T. Chen. TACCLE: a methodology for object-oriented software testing at the class and cluster levels. ACM Transactions on Software Engineering and Methodology, 10(1):56-109, 2001.
5. S.-W. Cheng, D. Garlan, and B. Schmerl. Architecture-based self-adaptation in the presence of multiple objectives. In proceedings of the 2006 international workshop on Self-adaptation and self-managing systems. ACM Press, 2006.
6. L. Clarke and D. Rosemblum. A historical perspective on runtime assertion checking in software development. ACM SIGSOFT Software Engineering Notes, 31(3), 2006.
7. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99-123, February 2001.
8. M. Fowler. Patterns of Enterprise Application Architecture. Addison Wesley, 2003.
9. D. Garlan and B. Schmerl. Model-based adaptation for self-healing systems. In proceedings of the first workshop on Self-healing systems, pages 27-32. ACM Press, 2002.
10. A. Hajnal and I. Forgacs. A precise demand-driven def-use chaining algorithm. In proceedings of the Sixth European Conference on Software Maintenance and Reengineering. IEEE Computer Society, 2002.
11. M. Harrold and M. Soffa. Efficient computation of interprocedural definition-use chains. ACM Transactions on Programming Languages and Systems, 16(2):175-204, 1994.
12. M. J. Harrold and G. Rothermel. Performing data flow testing on classes. In proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994.
13. R. Heckel and M. Lohmann. Model-driven development of reactive informations systems: From graph transformation rules to JML contracts. International Journal on Software Tools for Technology Transfer, 9(2):193-207, 2006.
14. E. Jendrock, J. Ball, D. Carson, I. Evans, S. Fordin, and K. Haase. The java EE 5 tutorial. Technical report, Sun Microsystems, 2007.
15. N. K. Jha and S. Gupta. Testing of Digital Systems, pages 560-679. Cambridge University Press, 2002.
16. G. Leavens and Y. Cheon. Design by contract with JML. http://www.cs.iastate.edu/leavens/JML/documentation.shtml, 2006. draft tutorial.
17. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: a behavioral interface specification language forjava. SIGSOFT Softw. Eng. Notes, 31(3):1-38, 2006.
18. L. Mariani and M. Pezzè. Dynamic detection of COTS component incompatibility. IEEE Software, 24(5), 2007.
19. B. Meyer. Applying design by contract. IEEE Computer, 25(10):40-51, 1992.
20. S. Modafferi, E. Mussi, and B. Pernici. SH-BPEL: a self-healing plug-in for ws-bpel engines. In proceedings of the 1st workshop on Middleware for Service Oriented Computing, pages 48-53. ACM Press, 2006.
21. T. Ogasawara, H. Komatsu, and T. Nakatani. A study of exception handling and its dynamic optimization in java. In proceedings of the 16th ACM SIGPLAN conference on Object Oriented Programming, Systems, Languages, and Applications, pages 83-95. ACM Press, 2001.
22. P. Oreizy, M. Gorlick, R. Taylor, D. Heimbigner, G. Johnson, N. Medvidovic, A. Quilici, D. Rosenblum, and A. Wolf. An architecture-based approach to self-adaptive software. IEEE Intelligent Systems, 14(3):54-62, 1999.
23. I. Singh, B. Stearns, M. Johnson, and the Enterprise Team. Designing Enterprise Applications with the J2EE Platform. Addison-Wesley, 2002.
24. Sun. Petstore v1.4. http://java.sun.eom/j2ee/1.4/.
25. Sun Microsystems Inc. Java transaction service (JTS). http://java.sun.com/j2ee/transactions/, 1999.
26. K. Vaidyanathan and K. Trivedi. A comprehensive model for software rejuvenation. IEEE Transactions on Dependable and Secure Computing, 2(2), 2005.
27. H. Wasserman and M. Blum. Software reliability via runtime result checking. Journal of the ACM, 44(6), 1997.
28. S. Zachariadis, C. Mascolo, and W. Emmerich. The SATIN component system-a metamodel for engineering adaptable mobile systems. IEEE Transactions on Software Engineering, 32(11):910-927, November 2006.
29. M. Zaidman. Teaching defensive programming in java. Journal of Computing Sciences in Colleges, 19(3):33-43, 2004.