1. Allen, R.J., Douence R., Garlan, D., 1998. Specifying and analyzing dynamic software architectures. In: Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE’98), March.
2. Apiwattanapong, T., Orso, A., Harrold, M.J., 2004. A differencing algorithm for objectoriented programs. In: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), September, Linz, Austria, pp. 2–13.
3. Bernardo, M., Inverardi, P., 2003. Formal Methods for Software Architectures, Tutorial Book on Software Architectures and Formal Methods. SFM-03:SA Lectures, LNCS, vol. 2804.
4. Bertolino, A., Inverardi, P., Muccini, H., 2003. Formal Methods for Software Architectures, Tutorial Book on Software Architectures and Formal Methods, SFM-03:SA Lectures, LNCS, vol. 2804, pp. 122–147.
5. Beydeda, S., Gruhn, V., 2001. Integrating white- and black-box techniques for class-level regression testing. In: Proceedings of the COMPSAC 2001, pp. 357–362.