Mauro Pezzè
http://usi.to/f6u
Pubblicazioni
Articolo pubblicato in rivista scientifica (14)
- Chang H., Mariani L., Pezzè M. (2014) Exception Handlers for Healing Component Based Systems, ACM transactions on software engineering and methodology
- Denaro G., Pezzè M., Tosi D. (2013) Test-and-Adapt: An Approach for Improving Service Interchangeability, ACM transactions on software engineering and methodology, 22 (4)
- Toffetti Carughi G., Gambi A., Pezzè M., Pautasso C. (2013) Kriging Controllers for Cloud Applications, IEEE Internet Computing
- Toffetti Carughi G., Pezzè M. (2012) Graph transformations and software engineering: Success stories and lost chances, Journal of Visual Languages \& Computing
- Pezzè M., Rinard M. C., Weimer W., Zeller A. (2011) Self-Repairing Programs (Dagstuhl Seminar 11062), Dagstuhl Reports, 1 (2)
- Baluda M., Braione P., Denaro G., Pezzè M. (2011) Enhancing structural software coverage by incrementally computing branch executability, Software Quality Journal, 19 (4)
- Mariani L., Pastore F., Pezzè M. (2011) Dynamic Analysis for Diagnosing Integration Faults, IEEE Transactions on Software Engineering (PP)
- Gorla A., Mariani L., Pastore F., Pezzè M., Wuttke J. D. (2010) Achieving Cost-Effective Software Reliability Through Self-Healing, Computing and Informatics, 29 (1)
- Tosi D., Denaro G., Pezzè M. (2009) Towards autonomic service-oriented applications, International Journal of Autonomic Computing (IJAC), 1 (April)
- Notkin D., Pezzè M. (2008) Introduction to the special section from the ACM international symposium on software testing and analysis, ACM transactions on software engineering and methodology, 17 (2)
- Carzaniga A., Gorla A., Pezzè M. (2008) Healing Web applications through automatic workarounds, International Journal on Software Tools for Technology Transfer (STTT), 10 (6 ( December ))
- Mariani L., Pezzè M. (2007) Dynamic Detection of COTS Component Incompatibility, IEEE Software, 24 (5)
- Pezzè M. (2007) Introduction to the special section on FASE 2003, International Journal on Software Tools for Technology Transfer, 9 (2)
- Baresi L., Pezzè M. (2006) An Introduction to Software Testing, Electronic Notes in Theoretical Computer Science, 148 (1)
Libro (2)
- Pezzè M., Young M. (2008) Software Testing and Analysis: Process, Principles and Techniques. Wiley
- Pezzè M., Young M. (2007) Software Testing and Analysis: Process, Principles and Techniques. Wiley
Contributo in libro (7)
- Braione P., Denaro G., Pezzè M. (2012) On the integration of software testing and formal analysis. Lecture Notes on Computer Science. Springer
- Mariani L., Pastore F., Pezzè M., Santoro M. (2011) Mining Finite-State Automata with Annotations. Mining Software Specifications: Methodologies and Applications. CRC Press. Data Mining and Knowledge Discovery
- Brun Y., Serugendo G. M., Gacek C., Giese H. B., Kienle H., Litoiu M., Müller H. A., Pezzè M., Shaw M., Cheng B. H. C. a. L. (2009) Engineering Self-Adaptive Systems through Feedback Loops. Software Engineering for Self-Adaptive Systems. Springer-Verlag
- Pezzè M., Wuttke J. D., Cheng B. H. C. a. L. (2009) Automatic Generation of Runtime Failure Detectors from Property Templates. Software Engineering for Self-Adaptive Systems. Springer-Verlag
- Carzaniga A., Gorla A., Pezzè M., de Lemos R. a. F. (2009) Handling Software Faults with Redundancy. Architecting Dependable Systems VI. Springer. Lecture Notes in Computer Science
- Mariani L., Pezzè M., De Lucia A. a. F. (2008) Emerging Methods, Technologies and Process Management in Software Engineering. Testing Object Oriented Software. Wiley-IEEE Computer Society Press
- Mariani L., Pezzè M. (2008) Testing Object Oriented Software
Atti di conferenza (5)
- Baluda M., Braione P., Denaro G., Pezzè M. (2010) Structural coverage of feasible code. ACM
- Denaro G., Gorla A., Pezzè M. (2009) DaTeC: Contextual Data Flow Testing of Java Classes. IEEE Computer Society
- Braione P., Denaro G., Krena B., Pezzè M. (2008) Verifying LTL Properties of Bytecode with Symbolic Execution. Elsevier
- Denaro G., Pezzè M., Shehory O. (2007) SOQUA '2007: Proceedings of the 4th international workshop on software quality assurance. ACM. New York, NY, USA
- Pezzè M., Pollock L. (2006) ISSTA '06: Proceedings of the 2006 International Symposium on Software Testing and Analysis. ACM. New York, NY, USA
Contributo in atti di convegno (34)
- Carzaniga A., Gorla A., Mattavelli A., Perino N., Pezzè M. (2013) Automatic Recovery from Runtime Failures. Proceedings of the 2013 International Conference on Software Engineering (ICSE 2013). San Francisco, California, USA
- Mariani L., Pezzè M., Riganelli O., Santoro M. (2012) AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
- Pezzè M. (2012) From off-Line to continuous on-line maintenance. ICSM
- Mirzaaghaei M., Pastore F., Pezzè M. (2012) Supporting Test Suite Evolution through Test Case Adaptation. Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
- Daniel B., Luo Q., Mirzaaghaei M., Dig D., Marinov D., Pezzè M. (2011) Automated GUI refactoring and test script repair. ETSE''11:Proceedings of the 1st International Workshop on End-to-End Test Script Engineering. ACM
- Mariani L., Pezzè M., Riganelli O., Santoro M. (2011) AutoBlackTest: a tool for automatic black-box testing. ICSE ''11: Proceedings of the 33rd International Conference on Software Engineering. ACM
- Baluda M., Braione P., Denaro G., Pezzè M. (2010) Structural coverage of feasible code. Proceedings of the 5th Workshop on Automation of Software Test. ACM. AST ''10. New York, NY, USA
- Carzaniga A., Gorla A., Perino N., Pezzè M. (2010) Automatic Workarounds for Web Applications. FSE''10: Proceedings of the 2010 Foundations of Software Engineering conference. ACM. New York, NY, USA
- Mirzaaghaei M., Pastore F., Pezzè M. (2010) Automatically repairing test cases for evolving method declarations. Software Maintenance (ICSM), 2010 IEEE International Conference on
- Toffetti Carughi G., Gambi A., Pezzè M., Pautasso C. (2010) Engineering autonomic controllers for virtualized web applications. Proceedings of the 10th international conference on Web engineering (ICWE). Springer-Verlag. ICWE''10. Berlin, Heidelberg
- Gambi A., Toffetti Carughi G., Pezzè M. (2010) Protecting SLAs with surrogate models. Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems. ACM. PESOS ''10. New York, NY, USA
- Carzaniga A., Gorla A., Perino N., Pezzè M. (2010) RAW: runtime automatic workarounds. ICSE''10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (Tool Demo). ACM. New York, NY, USA
- Mariani L., Pezzè M., Riganelli O., Santoro M. (2010) SEIM: static extraction of interaction models. Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems. ACM. PESOS ''10. New York, NY, USA
- Carzaniga A., Denaro G., Pezzè M., Estublier J., Wolf A. (2009) Toward deeply adaptive societies of digital systems. Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on
- Chang H., Mariani L., Pezzè M. (2009) In-field healing of integration problems with COTS components. Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on
- Denaro G., Pezzè M., Tosi D. (2009) Ensuring interoperable service-oriented systems through engineered self-healing. ESEC/FSE ''09: Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. ACM. New York, NY, USA
- Denaro G., Gorla A., Pezzè M. (2009) DaTeC: Dataflow Testing of Java Classes. ICSE Companion''09: Proceedings of the International Conference on Software Engineering (Tool Demo). ACM. New York, NY, USA
- Lo D., Mariani L., Pezzè M. (2009) Automatic steering of behavioral model inference. ESEC/FSE ''09: Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. ACM. New York, NY, USA
- Pezzè M., Wuttke J. D. (2009) LuMiNous - model-driven assertion generation for runtime failure detection. Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on
- Gambi A., Pezzè M., Young M. (2009) SLA Protection models for virtualized data centers. Software Engineering for Adaptive and Self-Managing Systems, 2009. SEAMS ''09. ICSE Workshop on
- Mariani L., Pastore F., Pezzè M. (2009) A toolset for automated failure analysis. Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on
- Müller H. A., Pezzè M., Shaw M. (2008) Visibility of Control in Adaptive Systems. ULSSIS '08: Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems. ACM. New York, NY, USA
- Chang H., Mariani L., Pezzè M. (2008) Self-healing strategies for component integration faults. Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference on
- Lambers L., Mariani L., Ehrig H., Pezzè M. (2008) A Formal Framework for Developing Adaptable Service- Based Applications. FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering
- Denaro G., Gorla A., Pezzè M. (2008) Contextual Integration Testing of Classes. FASE '08: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering
- Lorenzoli D., Mariani L., Pezzè M. (2008) Automatic Generation of Software Behavioral Models. ICSE '08: Proceedings of the 30th International Conference on Software Engineering. IEEE Computer Society
- Carzaniga A., Gorla A., Pezzè M. (2008) Self-Healing by Means of Automatic Workarounds. SEAMS '08: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems. ACM. New York, NY, USA
- Lorenzoli D., Mariani L., Pezzè M. (2007) Towards Self-Protecting Enterprise Applications. Software Reliability, 2007. ISSRE ''07. The 18th IEEE International Symposium on
- Denaro G., Pezzè M., Tosi D. (2007) SHIWS: A Self-Healing Integrator for Web Services. Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on
- Lambers L., Ehrig H., Mariani L., Pezzè M. (2007) Iterative Model-driven Development of Adaptable Service-Based Applications. ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering
- Denaro G., Pezzè M., Tosi D. (2007) Designing Self-Adaptive Service-Oriented Applications. Autonomic Computing, 2007. ICAC ''07. Fourth International Conference on
- Mariani L., Papagiannakis S., Pezzè M. (2007) Compatibility and Regression Testing of COTS-Component-Based Software. Software Engineering, 2007. ICSE 2007. 29th International Conference on
- Denaro G., Pezzè M., Tosi D., Schilling D. (2006) Towards Self-Adaptive Service-Oriented Architectures. TAV-WEB '06: Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications. ACM. New York, NY, USA
- Lorenzoli D., Mariani L., Pezzè M. (2006) Inferring State-Based Behavior Models. WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis. ACM. New York, NY, USA
Rapporto tecnico (1)
- Denaro G., Gorla A., Pezzè M. (2007) An Empirical Evaluation of Data Flow Testing of Java Classes
