Mauro Pezzè
http://usi.to/f6u
Publications
Journal Article (14)
- Chang H., Mariani L., Pezzè M. (2014) Exception Handlers for Healing Component Based Systems, ACM transactions on software engineering and methodology. ISSN 1049-331X
- Toffetti Carughi G., Gambi A., Pezzè M., Pautasso C. (2013) Kriging Controllers for Cloud Applications, IEEE Internet Computing. ISSN 1089-7801
- 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):1-42. ISSN 1049-331X
- Toffetti Carughi G., Pezzè M. (2012) Graph transformations and software engineering: Success stories and lost chances, Journal of Visual Languages \& Computing. ISSN 1045-926X
- Mariani L., Pastore F., Pezzè M. (2011) Dynamic Analysis for Diagnosing Integration Faults, IEEE Transactions on Software Engineering (PP). ISSN 10.1109/TSE.2010.93
- Baluda M., Braione P., Denaro G., Pezzè M. (2011) Enhancing structural software coverage by incrementally computing branch executability, Software Quality Journal, 19 (4):725-751
- Pezzè M., Rinard M. C., Weimer W., Zeller A. (2011) Self-Repairing Programs (Dagstuhl Seminar 11062), Dagstuhl Reports, 1 (2):16-29
- 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):93-115
- Tosi D., Denaro G., Pezzè M. (2009) Towards autonomic service-oriented applications, International Journal of Autonomic Computing (IJAC), 1:58-80. ISSN 1741-8569
- Carzaniga A., Gorla A., Pezzè M. (2008) Healing Web applications through automatic workarounds, International Journal on Software Tools for Technology Transfer (STTT), 10 (6):493-502
- 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). ISSN 1049-331X
- Mariani L., Pezzè M. (2007) Dynamic Detection of COTS Component Incompatibility, IEEE Software, 24 (5):76-85. ISSN 0740-7459
- Pezzè M. (2007) Introduction to the special section on FASE 2003, International Journal on Software Tools for Technology Transfer, 9 (2):133-134. ISSN 1433-2779
- Baresi L., Pezzè M. (2006) An Introduction to Software Testing, Electronic Notes in Theoretical Computer Science, 148 (1):89-111
Book (2)
- Pezzè M., Young M. (2008) Software Testing and Analysis: Process, Principles and Techniques. Wiley. ISBN 978-0-471-45593-6
- Pezzè M., Young M. (2007) Software Testing and Analysis: Process, Principles and Techniques. Wiley. ISBN 0471455938
Book chapter (7)
- Braione P., Denaro G., Pezzè M. (2012) On the integration of software testing and formal analysis. Lecture Notes on Computer Science. Springer, 158-193. ISBN 978-3-642-25230-3
- 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, 29-57
- Pezzè M., Wuttke J. D. (2009) Automatic Generation of Runtime Failure Detectors from Property Templates. Software Engineering for Self-Adaptive Systems. Springer-Verlag, 223-240. ISBN 978-3-642-02160-2
- Brun Y., Serugendo G. M., Gacek C., Giese H. B., Kienle H., Litoiu M., Müller H. A., Pezzè M., Shaw M. (2009) Engineering Self-Adaptive Systems through Feedback Loops. Software Engineering for Self-Adaptive Systems. Springer-Verlag, 48-70. ISBN 978-3-642-02160-2
- Carzaniga A., Gorla A., Pezzè M. (2009) Handling Software Faults with Redundancy. Architecting Dependable Systems VI. Springer. Lecture Notes in Computer Science, 148-171
- Mariani L., Pezzè M. (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. ISBN 978-0-470-08571-4
Conference proceedings (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
Article in conference proceedings (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
- 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
- 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
- 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. ISBN 978-1-4244-8630-4
- 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. ISBN 3-642-13910-8, 978-3-642-13910-9
- 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. ISBN 978-1-60558-963-3
- 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. ISBN 978-1-60558-719-6
- 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. ISBN 978-1-60558-963-3
- 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. ISBN 978-1-60558-970-1
- Mariani L., Pastore F., Pezzè M. (2009) A toolset for automated failure analysis. Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on. ISBN 978-1-4244-3453-4
- 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. ISBN 978-1-60558-001-2
- 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
- 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. ISBN 978-1-60558-001-2
- 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. ISBN 978-1-4244-3453-4
- 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. ISBN 978-1-4244-3724-5
- 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
- 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
- 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
- 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
- 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
- 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
- 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. ISBN 978-1-60558-026-5
- 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. ISBN 0-7695-2828-7
- Denaro G., Pezzè M., Tosi D. (2007) Designing Self-Adaptive Service-Oriented Applications. Autonomic Computing, 2007. ICAC ''07. Fourth 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) SHIWS: A Self-Healing Integrator for Web Services. Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on. ISBN 0-7695-2892-9
- Lorenzoli D., Mariani L., Pezzè M. (2007) Towards Self-Protecting Enterprise Applications. Software Reliability, 2007. ISSRE ''07. The 18th IEEE International Symposium on
- 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. ISBN 1-59593-400-6
- 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. ISBN 1-59593-458-8
Technical report (1)
- Denaro G., Gorla A., Pezzè M. (2007) An Empirical Evaluation of Data Flow Testing of Java Classes (2007/03)
