Software engineering; Software testing and analysis
Pubblicazioni:
L. Baresi, M. Pezzè (2005). "Formal interpreters for diagram notations". In: ACM Transactions on Software Engineering and Methodology, vol. 14, n. 1, pp. 42–84.
M. Pezzè, L. Pollock (eds.) (2006). Proceedings of the ACM SIGSOFT International Conference on Software Testing and Analysis.
M. Pezzè, M. Young (2007). Software Testing and Analysis, Process Principles and Techniques, John Wiley.
L. Mariani, M. Pezzè, S. Papagiannakis (2007). "Compatibility and regression testing of COTS-component-based software". In: W. Emmerich, G. Rothermelin (eds.), Proceedings of the International Conference on Software Engineering.
L. Mariani, M. Pezzè (2007). "Dynamic detection of COTS components incompatibility". In: IEEE Software 2007, in uscita.