Mauro Pezzè's publications


Sort by: [Research category] [year]

Years: [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001]

2012

Mehdi Mirzaaghaei and Fabrizio Pastore and Mauro Pezzè. Supporting Test Suite Evolution through Test Case Adaptation. ICST 12: Proceedings of the 5th International Conference on Software Testing Verification and Validation, 2012

[ BIBTEX ]

2011

Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. Dynamic Analysis for Diagnosing Integration Faults. IEEE Transactions on Software Engineering, 2011, pp. 486--508,

[ BIBTEX ]

L. Mariani and F. Pastore and M. Pezzè and M. Santoro. Mining Finite-State Automata with Annotations. CRC Press, Mining Software Specifications: Methodologies and Applications, 2011

[ BIBTEX ]

L. Mariani and M. Pezzè and O. Riganelli and M. Santoro. AutoBlackTest: A Tool for Automatic Black-Box Testing. proceedings of the International Conference on Software Engineering (ICSE) - Tool Demo, 2011

[ PDF ] [ BIBTEX ]

Alessio Gambi and Giovanni Toffetti and Fabrizio Pastore and Mauro Pezzè. A Kriging-based Controller for the Cloud. ICAC 11: Proceedings of the 8th International Conference on Autonomic Computing (Demo paper), 2011

[ BIBTEX ]

Mauro Baluda and Pietro Braione and Giovanni Denaro and Mauro Pezzè. Enhancing Structural Software Coverage by Incrementally Computing Branch Executability. Software Quality Journal, 2011, pp. 725--751,

[ BIBTEX ]

2010

M. Mirzaaghaei and F. Pastore and M. Pezzè. Automatically Repairing Test Cases for Evolving Method Declarations. ICSM 10: Proceedings of 26th IEEE International Conference on Software Maintenance, 2010

[ BIBTEX ]

Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. kBehavior: Algorithms and Complexity. 2010

[ PDF ] [ BIBTEX ]

2009

David Lo and Leonardo Mariani and Mauro Pezzè. Automatic Steering of Behavioral Model Inference. proceedings of the 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2009

[ PDF ] [ BIBTEX ]

Denaro G. and Pezzè M and Tosi D. Ensuring Interoperable Service-oriented Systems through Engineered Self-Healing. ACM Press, Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009), 2009

[ BIBTEX ]

Denaro G. and Gorla A and Pezzè M. DaTeC: Contextual Data Flow Testing of Java Classes. Companion of the Proceedings of 31st International Conference on Software Engineering (ICSE 2009) Research Demo Track Vancouver Canada May 2009, 2009

[ BIBTEX ]

Carzaniga A and Denaro G. and Estublier J and Pezzè M and Wolf A. Toward Deeply Adaptive Societies of Digital Systems. Companion of the Proceedings of 31st International Conference on Software Engineering (ICSE 2009) Track on New Ideas and Emerging Results Vancouver Canada May 2009, 2009

[ BIBTEX ]

2008

Leonardo Mariani and Mauro Pezzè. Testing Object Oriented Software. Wiley-IEEE Computer Society Press, 2008, chapter Emerging Methods Technologies and Process Management in Software Engineering

[ BIBTEX ]

Leen Lambers and Leonardo Mariani and Hartmut Ehrig and Mauro Pezzè. A Formal Framework for Developing Adaptable Service-Based Applications. proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), 2008

[ PDF ] [ BIBTEX ]

Hervè Chang and Leonardo Mariani and Mauro Pezzè. Self-Healing Strategies for Component Integration Faults. IEEE Computer Society, proceedings of the International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS), 2008

[ PDF ] [ BIBTEX ]

Leonardo Mariani and Fabrizio Pastore and Mauro Pezzè. Dynamic Analysis For Integration Faults Localization. 2008

[ PDF ] [ BIBTEX ]

Denaro G. and A. Gorla and M. Pezzè. Contextual Integration Testing of Classes. Springer, Proceedings of the International Symposium on the Fundamental Approaches to Software Engineering, 2008, pp. 246--260,

[ BIBTEX ]

Braione P and Denaro G. and Krena B and Pezzè M. Verifying LTL Properties of Bytecode with Symbolic Execution. Proceedings of the 2nd Workshop on Bytecode Semantics Verification Analysis and Transformation (Bytecode 2008) Budapest Hungary April 2008, 2008

[ BIBTEX ]

2007

L. Mariani and M. Pezzè. Dynamic Detection of COTS Components Incompatibility. IEEE Software, 2007, pp. 76--85,

[ PDF ] [ BIBTEX ]

Leonardo Mariani and Sofia Papagiannakis and Mauro Pezzè. Compatibility and Regression Testing of COTS-component-based Software. proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

[ PDF ] [ BIBTEX ]

Leen Lambers and Hartmut Ehrig and Leonardo Mariani and Mauro Pezzè. Iterative Model-driven Development of Adaptable Service-Based Applications. proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2007

[ PDF ] [ BIBTEX ]

Giovanni Denaro and Mauro Pezzè and Davide Tosi. Designing Self-Adaptive Service-Oriented Applications. IEEE Computer Society, proceedings of the IEEE International Conference on Autonomic Computing (ICAC Short Paper), 2007

[ BIBTEX ]

Giovanni Denaro and Mauro Pezzè and Davide Tosi. SHIWS: A Self-Healing Integrator for Web Services. IEEE Computer Society, proceedings of the IEEE International Conference on Software Engineering (ICSE Demo Track), 2007

[ BIBTEX ]

Denaro G. and Pezzè M and Shehory O. Proceedings of the Fourth International Workshop on Software Quality Assurance (SOQUA 2007). In conjunction with the 6th ESEC/FSE joint meeting Dubrovnik Croatia September 2007. ACM Press, 2007

[ BIBTEX ]

Denaro G. and Pezzè M and Shehory O. SOQUA 2007 4th international workshop on software quality assurance. ACM Press, The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, 2007, pp. 615--616,

[ BIBTEX ]

2006

Davide Lorenzoli and Stefano Mussino and Mauro Pezzè and Daniela Schilling and Andrea Sichel and Davide Tosi. A SOA-based Self-Adaptive Personal Mobility Manager. IEEE Computer Society, proceedings of the IEEE Conference on Service Computing (SCC Contest). Winner of the 3rd place as best paper, 2006

[ BIBTEX ]

Giovanni Denaro and Mauro Pezzè and Davide Tosi. Designing Self-Adaptive Service Oriented Applications. Aracne Editrice, 2006

[ BIBTEX ]

Giovanni Denaro and Mauro Pezzè and Daniela Schilling and Davide Tosi. Towards Self-Adaptive Service-Oriented Architectures. IEEE Computer Society, proceedings of the IEEE Workshop on Testing Analysis and Verification of Web Services and Applications (TAV-WEB) held in conjunction with the IEEE International Symposium on Software Test and Analysis (ISSTA), 2006

[ BIBTEX ]

Denaro G. and L. Lavazza and M. Pezzè. Metriche del software: Esperienze e ricerche. Franco Angeli, 2006, chapter Le Metriche Object-Oriented nelle Realtà Aziendali

[ BIBTEX ]

2005

Leonardo Mariani and Mauro Pezzè. Behavior Capture and Test: Automated Analysis of Component Integration. proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, 2005

[ PDF ] [ BIBTEX ]

Giovanni Denaro and Leonardo Mariani and Mauro Pezzè and Davide Tosi. Adaptive Runtime Verification for Autonomic Communication Infrastructures. IEEE Computer, proceedings of the 1st IEEE Workshop on Autonomic Communications and Computing held in conjunction with the IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks (WoWMoM), 2005

[ PDF ] [ BIBTEX ]

Mauro Pezzè and Davide Tosi and Gian Pietro Picco. Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. IEEE Computer Society, proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2005, pp. 569-578,

[ BIBTEX ]

Giovanni Denaro and Mauro Pezzè and Davide Tosi. Adaptive Integration of Third-Party Web Services. IEEE Computer Society, proceedings of the IEEE Workshop on Design and Evolution of Autonomic Application Software (DEAS) held in conjunction with the IEEE International Conference on Software Engineering (ICSE), 2005

[ BIBTEX ]

Baldini A and Denaro G. and Lipari G and Pezzè M and Rossi M and Rogai D. QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. Elsevier, Proceedings of the 2nd International Workshop on Test and Analysis of Component-Based Systems (TACoS 2004) Electronic Notes on Theoretical Computer Science Vol. 116 January 2005, 2005

[ BIBTEX ]

2004

Leonardo Mariani and Mauro Pezzè. A Technique for Verifying Component-Based Software. Elsevier, proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS) satellite workshop at the European Joint Conferences on Theory and Practice of Software (ETAPS), 2004

[ PDF ] [ BIBTEX ]

Leonardo Mariani and Mauro Pezzè and David Willmor. Generation of Selft-Test Components. Springer, proceedings of the 1st International Workshop on Integration of Testing Methodologies FORTE 2004 Workshops, 2004, pp. 337--350,

[ PDF ] [ BIBTEX ]

Denaro G. and M. Pezzè. Advances on Petri Nets. Springer-Verlag, 2004, chapter Petri Nets and Software Engineering

[ BIBTEX ]

2003

Leonardo Mariani and Mauro Pezzè. Behavior Capture and Test for Controlling the Quality of Component-Based Integrated Systems. proceedings of Tool-Integration in System Development Workshop at the 9th European Software Engineering Conference and the 10th International Symposium on Foundations of Software Engineering (ESEC/FSE), 2003

[ PDF ] [ BIBTEX ]

Giovanni Denaro and Leonardo Mariani and Mauro Pezzè. Selft-Test Components for Highly Reconfigurable Systems. Elsevier, International Workshop on Test and Analysis of Component Based Systems (TACOS) satellite workshop at the European Joint Conferences on Theory and Practice of Software (ETAPS), 2003

[ PDF ] [ BIBTEX ]

Denaro G. and S. Morasca and M. Pezzè. Towards Industrially Relevant Fault-Proneness Models. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2003

[ BIBTEX ]

Denaro G. and L. Lavazza and M. Pezzè. An Empirical Evaluation of Object-Oriented Metrics. 5th CaberNet Plenary Workshop, 2003

[ BIBTEX ]

A. Baldini and Denaro G. and M. Pezzè and P. Prinetto. Design for Testability for Highly Reconfigurable Component-Based Systems. Proceedings of the International Workshop on Test and Analysis of Component-Based Systems (TACoS 2003), 2003

[ BIBTEX ]

2002

Denaro G. and S. Morasca and M. Pezzè. Deriving Models of Software Fault-Proneness. Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE 2002), 2002

[ BIBTEX ]

Denaro G. and M. Pezzè. An Empirical Evaluation of Fault-Proneness Models. Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), 2002

[ BIBTEX ]

2001

A. Coen-Porisini and Denaro G. and C. Ghezzi and M. Pezzè. Using Symbolic Execution for Verifying Safety-Critical Systems. Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2001), 2001

[ BIBTEX ]