| 2022 | ICST | Testing Software in Production Environments with Data from the Field. | Luca Gazzola, Leonardo Mariani, Matteo Orr, Mauro Pezz, Martin Tappler |
| 2021 | AST | An Evolutionary Approach to Adapt Tests Across Mobile Apps. | Leonardo Mariani, Mauro Pezz, Valerio Terragni, Daniele Zuddas |
| 2021 | GECCO | Improving assertion oracles with evolutionary computation. | Valerio Terragni, Gunel Jahangirova, Mauro Pezz, Paolo Tonella |
| 2021 | ICSE | GAssert: A Fully Automated Tool to Improve Assertion Oracles. | Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezz |
| 2021 | ISSTA | Semantic matching of GUI events for test reuse: are we there yet? | Leonardo Mariani, Ali Mohebbi, Mauro Pezz, Valerio Terragni |
| 2019 | ICSE | Energy-based anomaly detection a new perspective for predicting software failures. | Cristina Monni, Mauro Pezz |
| 2019 | ICST | An RBM Anomaly Detector for the Cloud. | Cristina Monni, Mauro Pezz, Gaetano Prisco |
| 2019 | ICST | Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies. | Valerio Terragni, Mauro Pezz, Francesco Adalberto Bianchi |
| 2019 | REFSQ | Research on NLP for RE at Universit della Svizzera Italiana (USI): A Report. | Arianna Blasi, Mauro Pezz, Alessandra Gorla, Michael D. Ernst |
| 2018 | ICSE | SUSHI: a test generator for programs with complex structured inputs. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezz |
| 2018 | ICSE | Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles. | Leonardo Mariani, Mauro Pezz, Daniele Zuddas |
| 2018 | ICST | Localizing Faults in Cloud Systems. | Leonardo Mariani, Cristina Monni, Mauro Pezz, Oliviero Riganelli, Rui Xin |
| 2018 | ISSTA | Translating code comments to procedure specifications. | Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezz, Sergio Delgado Castellanos |
| 2018 | ISSTA | Automatic GUI testing of desktop applications: an empirical assessment of the state of the art. | Mauro Pezz, Paolo Rondena, Daniele Zuddas |
| 2017 | ICSE | Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. | Andrea Aquino, Giovanni Denaro, Mauro Pezz |
| 2017 | ISSRE | An Exploratory Study of Field Failures. | Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezz |
| 2017 | ISSTA | Combining symbolic execution and search-based testing for programs with complex heap inputs. | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezz |
| 2016 | ISSTA | Automatic generation of oracles for exceptional behaviors. | Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezz |
| 2015 | ICSE | Measuring Software Redundancy. | Antonio Carzaniga, Andrea Mattavelli, Mauro Pezz |
| 2015 | ICSE | Dynamic Data Flow Testing of Object Oriented Systems. | Giovanni Denaro, Alessandro Margara, Mauro Pezz, Mattia Vivanti |
| 2015 | ICSE | Towards an Engineering Methodology for Multi-model Scientific Simulations. | Alessandro Margara, Mauro Pezz, Igor V. Pivkin, Mauro Santoro |
| 2015 | ICSE | Towards Cost-Effective Oracles. | Mauro Pezz |
| 2015 | ISSTA | Reusing constraint proofs in program analysis. | Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezz |
| 2014 | ICSE | Cross-checking oracles from intrinsic software redundancy. | Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezz |
| 2014 | ICSE | Mining behavior models from user-intensive web applications. | Carlo Ghezzi, Mauro Pezz, Michele Sama, Giordano Tamburrelli |
| 2014 | ICST | On the Right Objectives of Data Flow Testing. | Giovanni Denaro, Mauro Pezz, Mattia Vivanti |
| 2014 | ISSTA | Link: exploiting the web of data to generate test inputs. | Leonardo Mariani, Mauro Pezz, Oliviero Riganelli, Mauro Santoro |
| 2013 | IM | Adaptive REST applications via model inference and probabilistic model checking. | Carlo Ghezzi, Mauro Pezz, Giordano Tamburrelli |
| 2013 | ICSE | Automatic recovery from runtime failures. | Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicol Perino, Mauro Pezz |
| 2013 | ICSE | Quantifying the complexity of dataflow testing. | Giovanni Denaro, Mauro Pezz, Mattia Vivanti |
| 2013 | ICSOC | Improving Interaction with Services via Probabilistic Piggybacking. | Carlo Ghezzi, Mauro Pezz, Giordano Tamburrelli |
| 2013 | ICST | Generating Effective Integration Test Cases from Unit Ones. | Mauro Pezz, Konstantin Rubinov, Jochen Wuttke |
| 2012 | ICST | AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. | Leonardo Mariani, Mauro Pezz, Oliviero Riganelli, Mauro Santoro |
| 2012 | ICST | Supporting Test Suite Evolution through Test Case Adaptation. | Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezz |
| 2011 | ICSE | AutoBlackTest: a tool for automatic black-box testing. | Leonardo Mariani, Mauro Pezz, Oliviero Riganelli, Mauro Santoro |
| 2010 | ICSE | Structural coverage of feasible code. | Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezz |
| 2010 | ICSE | RAW: runtime automatic workarounds. | Antonio Carzaniga, Alessandra Gorla, Nicol Perino, Mauro Pezz |
| 2010 | ICSE | Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). | Betty H. C. Cheng, Rogrio de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Mller, Mauro Pezz, Richard Taylor |
| 2010 | ICSE | Protecting SLAs with surrogate models. | Alessio Gambi, Giovanni Toffetti, Mauro Pezz |
| 2010 | ICSE | SEIM: static extraction of interaction models. | Leonardo Mariani, Mauro Pezz, Oliviero Riganelli, Mauro Santoro |
| 2010 | ICWE | Engineering Autonomic Controllers for Virtualized Web Applications. | Giovanni Toffetti, Alessio Gambi, Mauro Pezz, Cesare Pautasso |
| 2009 | ICSE | Toward deeply adaptive societies of digital systems. | Antonio Carzaniga, Giovanni Denaro, Mauro Pezz, Jacky Estublier, Alexander L. Wolf |
| 2009 | ICSE | In-field healing of integration problems with COTS components. | Herv Chang, Leonardo Mariani, Mauro Pezz |
| 2009 | ICSE | DaTeC: Contextual data flow testing of java classes. | Giovanni Denaro, Alessandra Gorla, Mauro Pezz |
| 2009 | ICSE | SLA Protection models for virtualized data centers. | Alessio Gambi, Mauro Pezz, Michal Young |
| 2009 | ICSE | A toolset for automated failure analysis. | Leonardo Mariani, Fabrizio Pastore, Mauro Pezz |
| 2009 | ICSE | LuMiNous - model-driven assertion generation for runtime failure detection. | Mauro Pezz, Jochen Wuttke |
| 2008 | FASE | Contextual Integration Testing of Classes. | Giovanni Denaro, Alessandra Gorla, Mauro Pezz |
| 2008 | FASE | A Formal Framework for Developing Adaptable Service-Based Applications. | Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezz |
| 2008 | ICSE | Handling Software Faults with Redundancy. | Antonio Carzaniga, Alessandra Gorla, Mauro Pezz |
| 2008 | ICSE | Self-healing by means of automatic workarounds. | Antonio Carzaniga, Alessandra Gorla, Mauro Pezz |
| 2008 | ICSE | Automatic generation of software behavioral models. | Davide Lorenzoli, Leonardo Mariani, Mauro Pezz |
| 2008 | ICSE | Visibility of control in adaptive systems. | Hausi A. Mller, Mauro Pezz, Mary Shaw |
| 2007 | ICSE | SHIWS: A Self-Healing Integrator for Web Services. | Giovanni Denaro, Mauro Pezz, Davide Tosi |
| 2007 | ICSE | Compatibility and Regression Testing of COTS-Component-Based Software. | Leonardo Mariani, Sofia Papagiannakis, Mauro Pezz |
| 2007 | ISSRE | Towards Self-Protecting Enterprise Applications. | Davide Lorenzoli, Leonardo Mariani, Mauro Pezz |
| 2006 | ISSTA | Towards self-adaptive service-oriented architectures. | Giovanni Denaro, Mauro Pezz, Davide Tosi, Daniela Schilling |
| 2005 | ICECCS | Behavior Capture and Test: Automated Analysis of Component Integration. | Leonardo Mariani, Mauro Pezz |
| 2005 | ICECCS | Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. | Mauro Pezz, Davide Tosi, Gian Pietro Picco |
| 2005 | WoWMoM | Adaptive Runtime Verification for Autonomic Communication Infrastructures. | Giovanni Denaro, Leonardo Mariani, Mauro Pezz, Davide Tosi |
| 2004 | FORTE | Generation of Integration Tests for Self-Testing Components. | Leonardo Mariani, Mauro Pezz, David Willmor |
| 2004 | ICSE | Testing Object Oriented Software. | Mauro Pezz, Michal Young |
| 2003 | ICSE | Research Demonstrations and Posters. | Bruce Schafer, Mauro Pezz |
| 2002 | FASE | A Toolbox for Automating Visual Software Engineering. | Luciano Baresi, Mauro Pezz |
| 2002 | ICECCS | Interclass Testing of Object Oriented Software. | Vincenzo Martena, Alessandro Orso, Mauro Pezz |
| 2002 | ICSE | An empirical evaluation of fault-proneness models. | Giovanni Denaro, Mauro Pezz |
| 2002 | SEKE | Deriving models of software fault-proneness. | Giovanni Denaro, Sandro Morasca, Mauro Pezz |
| 2000 | ICALP | Can Graph Grammars Make Formal Methods More Human? | Mauro Pezz, Luciano Baresi |
| 2000 | ICSE | The ICSE2000 doctoral workshop. | Jeff Magee, Mauro Pezz |
| 2000 | ISSTA | Automated Testing of Classes. | Ugo A. Buy, Alessandro Orso, Mauro Pezz |
| 2000 | SMC | PLCTOOLS: design, formal validation, and code generation for programmable controllers. | Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezz |
| 1998 | ECRTS | A non-temporized approach for temporized analysis. | Francesco Calzolari, Mauro Pezz |
| 1997 | CBMS | LEMMA: a language for easy medical models analysis. | Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezz |
| 1997 | ICSE | Introducing Formal Specification Methods in Industrial Practice. | Luciano Baresi, Alessandro Orso, Mauro Pezz |
| 1997 | ICSE | Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. | Mauro Pezz, Michal Young |
| 1996 | ICECCS | A Software Architecture Approach for Designing CASE Systems. | Mauro Pezz, Sergio Silva |
| 1996 | ISSTA | Generation of Multi-Formalism State-Space Analysis Tools. | Mauro Pezz, Michal Young |
| 1995 | ECRTS | Property decomposition to speed up analysis. | Francesco Calzolari, Mauro Pezz |
| 1995 | ICECCS | Customizable notations for kernel formalisms. | Luciano Baresi, Alessandro Orso, Mauro Pezz |
| 1993 | ISSTA | Analyzing Refinements of State Based Specifications: The Case of TB Nets. | Miguel Felder, Carlo Ghezzi, Mauro Pezz |
| 1986 | SIGCOMM | Voice and data performance measurements in L-express net. | Flaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezz |