References

• 1. 1)
     • Hangal, S., Lam, M.S.: `Tracking down software bugs using automatic anomaly detection', Proc. ICSE, 2002.
  2. 2)
     • Public deliverables of the Space4U project. Available at http://www.hitech-projects.com/euprojects/space4u/deliverables.htm.
  3. 3)
     • R. Reiter . A theory of diagnosis from first principles. Artif. Intell. , 57 - 95
  4. 4)
     • Issarny, V., Banatre, J.P.: `Architecture-based exception handling', Proc. 34th Annual Hawaii Int. Conf. on System Sciences (HICSS'34), January 2001, Hawaii, HA, USA.
  5. 5)
     • E. Gamma , R. Helm , R. Johnson , J.M. Vlissides . (1994) Design patterns: elements of reusable object-oriented software.
  6. 6)
     • J.D. Musa , A. Iannino , K. Okumoto . (1987) Software reliability – measurement, prediction, applications.
  7. 7)
     • Musa, J.D., Okumoto, K.: `A logarithmic Poisson execution time model for software reliability measurement', Proc. 7th Int. Conf. on Software Engineering, 1984, Orlando, Florida, p. 230–238.
  8. 8)
     • Wu, K., Malaiya, Y.K.: `A correlated faults model for software reliability', Proc. IEEE Int. Symp. on Software Reliability Engineering, November, 1993, p. 80–89.
  9. 9)
     • Robocop: robust open component based software architecture. Available at http://www.hitech-projects.com/euprojects/robocop/deliverables.htm.
  10. 10)
      • M.R. Lyu . (1996) Handbook of software reliability engineering.
  11. 11)
      • D. Robinson , D. Dietrich . A nonparametric Bayes reliability growth model. IEEE Trans. Reliab. , 5 , 591 - 598
  12. 12)
      • Gao, J., Zhu, E.Y., Shim, S.: `Monitoring software components and component-based software', Proc. 24th Annual International Computer Software & Applications Conference (COMPSAC00), October 2000, Taipei, Taiwan.
  13. 13)
      • C. Szyperski . (2003) Component software: beyond object-oriented programming.
  14. 14)
      • `IEEE Guide to Classification for Software Anomalies', IEEE Std 1044., , p. 1–1995.
  15. 15)
      • Popov, P., Strigini, L., Riddle, S., Romanovsky, A.: `Protective wrapping of OTS components', Proc. 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction (Part of the 23rd IEEE Int. Conf. on Software Engineering (ICSE 2001)), May 2006, Toronto, Canada.
  16. 16)
      • B. Littlewood , J. Verrall . A Bayesian reliability growth model for computer software. Appl. Stat. C , 3 , 332 - 346
  17. 17)
      • Feng, Y., Huang, G., Zhu, Y., Mei, H.: `Exception handling in component composition with the support of middleware', Proc. 5th Int. Workshop on Software Engineering and Middleware, 2005, Lisbon, Portugal, p. 90–97.
  18. 18)
      • Stumptner, M., Wotawa, F.: `A model-based approach to software debugging', Proc. 7th Int. Workshop on Principles of Diagnosis (DX-96), 1996, Val Marin, Canada.
  19. 19)
      • T.M. Khoshgoftaar , N. Seliya , N. Sundaresh . An empirical study of predicting software faults with case-based reasoning. Softw. Qual. J. , 85 - 111
  20. 20)
      • Su, R., Chaudron, M.R.V., Lukkien, J.J.: `Adaptive runtime fault management for service instances in component-based software applications', Proc. 10th IASTED Int. Conf. on Software Engineering and Applications (SEA 2006), November 2006, Dallas, Texas, USA.
  21. 21)
      • P.H. da S. Brito , C.R. Rocha , F.C. Filho , E. Martins , C.M.F. Rubira . A method for modeling and testing exceptions in component-based software development. Lect. Notes Comput. Sci. , 61 - 79
  22. 22)
      • Podgurski, A., Leon, D., Francis, P., Masri, W., Minch, M., Sun, J., Wang, B.: `Automated support for classifying software failure reports', Proc. ICSE, 2003.
  23. 23)
      • M. Sampath , R. Sengupta , S. Lafortune , K. Sinnamohideen , D. Teneketzis . Failure diagnosis using discrete-event models. IEEE Trans. Control Syst. Technol. , 2 , 105 - 124
  24. 24)
      • C.M.F. Rubira , R. de Lemos , G.R.M. Ferreira , F.C. Filho . Exception handling in the development of dependable component-based systems. Softw. Pract. Exp. , 3 , 195 - 236