Voice and data performance measurements in L-express net. - Flaminio Borgonovo; Enrico Cadorin; Luigi Fratta; Mauro Pezzè (SIGCOMM, 1986)

On the Role of Software Reliability in Software Engineering. - Carlo Ghezzi; Angelo Morzenti; Mauro Pezzè (Software Reliability Modelling and Identification, 1987)

Validation of Concurrent ADA Programs using Symbolic Execution. - Sandro Morasca; Mauro Pezzè (ESEC, 1989)

A general way to put time in Petri nets. - Carlo Ghezzi; Dino Mandrioli; Sandro Morasca; Mauro Pezzè (IWSSD, 1989)

Symbolic Execution of Concurrent Systems Using Petri Nets. - Carlo Ghezzi; Dino Mandrioli; Sandro Morasca; Mauro Pezzè (Comput. Lang., 1989)

Timed High-Level Nets. - Sandro Morasca; Mauro Pezzè; Marco Trubian (Real Time Syst., 1991)

A Unified High-Level Petri Net Formalism for Time-Critical Systems. - Carlo Ghezzi; Dino Mandrioli; Sandro Morasca; Mauro Pezzè (IEEE Trans. Software Eng., 1991)

Formal Specification and Timing Analysis of High-Integrity Real-Time Systems. - Miguel Felder; Carlo Ghezzi; Mauro Pezzè (NATO ASI RTC, 1992)

Parallel Execution of Real-Time Petri Nets. - Carlo Ghezzi; Mauro Pezzè; Kim Portman (Advances in Software Engineering and Knowledge Engineering, 1993)

Analyzing Refinements of State Based Specifications: The Case of TB Nets. - Miguel Felder; Carlo Ghezzi; Mauro Pezzè (ISSTA, 1993)

Merlot: A Tool for Analysis of Real-Time Specifications. - Carlo Bellettini; Miguel Felder; Mauro Pezzè (IWSSD, 1993)

Towards Extensible Graphical Formalisms. - Carlo Ghezzi; Mauro Pezzè (IWSSD, 1993)

Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. - René Elmstrøm; Raino Lintulampi; Mauro Pezzè (Real Time Syst., 1993)

High-Level Timed Petri Nets as a Kernel for Executable Specifications. - Miguel Felder; Carlo Ghezzi; Mauro Pezzè (Real Time Syst., 1993)

Validating timing requirements for time basic net specifications. - Carlo Ghezzi; Sandro Morasca; Mauro Pezzè (J. Syst. Softw., 1994)

Property decomposition to speed up analysis. - Francesco Calzolari; Mauro Pezzè (RTS, 1995)

Customizable notations for kernel formalisms. - Luciano Baresi; Alessandro Orso; Mauro Pezzè (ICECCS, 1995)

Graph Models for Reachability of Concurrent Programs. - Mauro Pezzè; Richard N. Taylor; Michal Young (ACM Trans. Softw. Eng. Methodol., 1995)

A Software Architecture Approach for Designing CASE Systems. - Mauro Pezzè; Sergio Silva (ICECCS, 1996)

Generation of Multi-Formalism State-Space Analysis Tools. - Mauro Pezzè; Michal Young (ISSTA, 1996)

LEMMA: a language for easy medical models analysis. - Luciano Baresi; Manuele Di Paola; Antonio Gargiulo; Mauro Pezzè (CBMS, 1997)

Introducing Formal Specification Methods in Industrial Practice. - Luciano Baresi; Alessandro Orso; Mauro Pezzè (ICSE, 1997)

Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. - Mauro Pezzè; Michal Young (ICSE, 1997)

The Road to Maturity: Navigating Between Craft and Science. - Christof Ebert; Tomoo Matsubara; Todd Webb; Mauro Pezzè; Olav W. Bertelsen (IEEE Softw., 1997)

A non-temporized approach for temporized analysis. - Francesco Calzolari; Mauro Pezzè (ECRTS, 1998)

A technique for designing robotic control systems based on Petri nets. - Andrea Caloini; GianAntonio Magnani; Mauro Pezzè (IEEE Trans. Control. Syst. Technol., 1998)

Toward Formalizing Structured Analysis. - Luciano Baresi; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 1998)

A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. - Luciano Baresi; Mauro Pezzè (AGTIVE, 1999)

Can Graph Grammars Make Formal Methods More Human? - Mauro Pezzè; Luciano Baresi (ICALP Satellite Workshops, 2000)

The ICSE2000 doctoral workshop. - Jeff Magee; Mauro Pezzè (ICSE, 2000)

Automated Testing of Classes. - Ugo A. Buy; Alessandro Orso; Mauro Pezzè (ISSTA, 2000)

PLCTOOLS: design, formal validation, and code generation for programmable controllers. - Luciano Baresi; Marco Mauri; Antonello Monti; Mauro Pezzè (SMC, 2000)

On Formalizing UML with High-Level Petri Nets. - Luciano Baresi; Mauro Pezzè (Concurrent Object-Oriented Programming and Petri Nets, 2001)

Mutant Operators for Testing Concurrent Java Programs. - Márcio E. Delamaro; Mauro Pezzè; Auri M. R. Vincenzi (SBES, 2001)

Using symbolic execution for verifying safety-critical systems. - Alberto Coen-Porisini; Giovanni Denaro; Carlo Ghezzi; Mauro Pezzè (ESEC / SIGSOFT FSE, 2001)

Editorial. - Mauro Pezzè; Sol M. Shatz (Comput. Syst. Sci. Eng., 2001)

Improving UML with Petri nets. - Luciano Baresi; Mauro Pezzè (UNIGRA, 2001)

Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. - Luciano Baresi; Mauro Pezzè; Gabriele Taentzer (GT-VMT@ICALP, 2001)

A Toolbox for Automating Visual Software Engineering. - Luciano Baresi; Mauro Pezzè (FASE, 2002)

Interclass Testing of Object Oriented Software. - Vincenzo Martena; Alessandro Orso; Mauro Pezzè (ICECCS, 2002)

An empirical evaluation of fault-proneness models. - Giovanni Denaro; Mauro Pezzè (ICSE, 2002)

Deriving models of software fault-proneness. - Giovanni Denaro; Sandro Morasca; Mauro Pezzè (SEKE, 2002)

PLCTools: Graph Transformation Meets PLC Design. - Luciano Baresi; Marco Mauri; Mauro Pezzè (GraBaTs, 2002)

A formal design notation for real-time systems. - Miguel Felder; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2002)

Petri Nets and Software Engineering. - Giovanni Denaro; Mauro Pezzè (Lectures on Concurrency and Petri Nets, 2003)

Research Demonstrations and Posters. - Bruce Schafer; Mauro Pezzè (ICSE, 2003)

Design for Testability for Highly Reconfigurable Component-Based Systems. - Andrea Baldini; Paolo Prinetto; Giovanni Denaro; Mauro Pezzè (TACoS, 2003)

Self-Test Components for Highly Reconfigurable Systems. - Giovanni Denaro; Leonardo Mariani; Mauro Pezzè (TACoS, 2003)

Preface. - Mauro Pezzè (TACoS, 2003)

Towards Industrially Relevant Fault-Proneness Models. - Giovanni Denaro; Mauro Pezzè; Sandro Morasca (Int. J. Softw. Eng. Knowl. Eng., 2003)

Generation of Integration Tests for Self-Testing Components. - Leonardo Mariani; Mauro Pezzè; David Willmor (FORTE Workshops, 2004)

Testing Object Oriented Software. - Mauro Pezzè; Michal Young (ICSE, 2004)

Petri Nets as Semantic Domain for Diagram Notations. - Luciano Baresi; Mauro Pezzè (PNGT@ICGT, 2004)

An Introduction to Software Testing. - Luciano Baresi; Mauro Pezzè (FoVMT, 2004)

A Technique for Verifying Component-Based Software. - Leonardo Mariani; Mauro Pezzè (TACoS, 2004)

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. - Mauro Pezzè; Andrea Baldini; Giovanni Denaro; Giuseppe Lipari; Matteo Rossi; Davide Rogai (TACoS, 2004)

From Graph Transformation to Software Engineering and Back. - Luciano Baresi; Mauro Pezzè (Formal Methods in Software and Systems Modeling, 2005)

Behavior Capture and Test: Automated Analysis of Component Integration. - Leonardo Mariani; Mauro Pezzè (ICECCS, 2005)

Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. - Mauro Pezzè; Davide Tosi; Gian Pietro Picco (ICECCS, 2005)

Adaptive Runtime Verification for Autonomic Communication Infrastructures. - Giovanni Denaro; Leonardo Mariani; Mauro Pezzè; Davide Tosi (WOWMOM, 2005)

Adaptive integration of third-party web services. - Giovanni Denaro; Mauro Pezzè; Davide Tosi (ACM SIGSOFT Softw. Eng. Notes, 2005)

Formal interpreters for diagram notations. - Luciano Baresi; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2005)

A SOA based Self-Adaptive PERSONAL MOBILITY MANAGER. - Davide Lorenzoli; Mauro Pezzè; Stefano Mussino; Andrea Sichel; Davide Tosi (IEEE SCC, 2006)

Towards self-adaptive service-oriented architectures. - Giovanni Denaro; Mauro Pezzè; Davide Tosi; Daniela Schilling (TAV-WEB, 2006)

Software testing and analysis - process, principles and techniques. - Mauro Pezzè; Michal Young (Wiley, 2007)

Designing Self-Adaptive Service-Oriented Applications. - Giovanni Denaro; Mauro Pezzè; Davide Tosi (ICAC, 2007)

SHIWS: A Self-Healing Integrator for Web Services. - Giovanni Denaro; Mauro Pezzè; Davide Tosi (ICSE Companion, 2007)

Compatibility and Regression Testing of COTS-Component-Based Software. - Leonardo Mariani; Sofia Papagiannakis; Mauro Pezzè (ICSE, 2007)

Towards Self-Protecting Enterprise Applications. - Davide Lorenzoli; Leonardo Mariani; Mauro Pezzè (ISSRE, 2007)

Iterative model-driven development of adaptable service-based applications. - Leen Lambers; Hartmut Ehrig; Leonardo Mariani; Mauro Pezzè (ASE, 2007)

SOQUA 2007: 4th international workshop on software quality assurance. - Giovanni Denaro; Mauro Pezzè; Onn Shehory (ESEC/SIGSOFT FSE, 2007)

Dynamic Detection of COTS Component Incompatibility. - Leonardo Mariani; Mauro Pezzè (IEEE Softw., 2007)

Introduction to the special section on FASE 2003. - Mauro Pezzè (Int. J. Softw. Tools Technol. Transf., 2007)

Contextual Integration Testing of Classes. - Giovanni Denaro; Alessandra Gorla; Mauro Pezzè (FASE, 2008)

A Formal Framework for Developing Adaptable Service-Based Applications. - Leen Lambers; Leonardo Mariani; Hartmut Ehrig; Mauro Pezzè (FASE, 2008)

Handling Software Faults with Redundancy. - Antonio Carzaniga; Alessandra Gorla; Mauro Pezzè (WADS, 2008)

Self-healing by means of automatic workarounds. - Antonio Carzaniga; Alessandra Gorla; Mauro Pezzè (SEAMS, 2008)

Automatic generation of software behavioral models. - Davide Lorenzoli; Leonardo Mariani; Mauro Pezzè (ICSE, 2008)

Visibility of control in adaptive systems. - Hausi A. Müller; Mauro Pezzè; Mary Shaw (ULSSIS@ICSE, 2008)

Self-healing strategies for component integration faults. - Hervé Chang; Leonardo Mariani; Mauro Pezzè (ASE Workshops, 2008)

Healing Web applications through automatic workarounds. - Antonio Carzaniga; Alessandra Gorla; Mauro Pezzè (Int. J. Softw. Tools Technol. Transf., 2008)

Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006). - David Notkin; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2008)

Engineering Self-Adaptive Systems through Feedback Loops. - Yuriy Brun; Giovanna Di Marzo Serugendo; Cristina Gacek; Holger Giese; Holger M. Kienle; Marin Litoiu; Hausi A. Müller; Mauro Pezzè; Mary Shaw (Software Engineering for Self-Adaptive Systems, 2009)

Automatic Generation of Runtime Failure Detectors from Property Templates. - Mauro Pezzè; Jochen Wuttke (Software Engineering for Self-Adaptive Systems, 2009)

Toward deeply adaptive societies of digital systems. - Antonio Carzaniga; Giovanni Denaro; Mauro Pezzè; Jacky Estublier; Alexander L. Wolf (ICSE Companion, 2009)

In-field healing of integration problems with COTS components. - Hervé Chang; Leonardo Mariani; Mauro Pezzè (ICSE, 2009)

DaTeC: Contextual data flow testing of java classes. - Giovanni Denaro; Alessandra Gorla; Mauro Pezzè (ICSE Companion, 2009)

SLA Protection models for virtualized data centers. - Alessio Gambi; Mauro Pezzè; Michal Young (SEAMS, 2009)

A toolset for automated failure analysis. - Leonardo Mariani; Fabrizio Pastore; Mauro Pezzè (ICSE, 2009)

LuMiNous - model-driven assertion generation for runtime failure detection. - Mauro Pezzè; Jochen Wuttke (ICSE Companion, 2009)

Ensuring interoperable service-oriented systems through engineered self-healing. - Giovanni Denaro; Mauro Pezzè; Davide Tosi (ESEC/SIGSOFT FSE, 2009)

Automatic steering of behavioral model inference. - David Lo 001; Leonardo Mariani; Mauro Pezzè (ESEC/SIGSOFT FSE, 2009)

Towards autonomic service-oriented applications. - Davide Tosi; Giovanni Denaro; Mauro Pezzè (Int. J. Auton. Comput., 2009)

Introducing Continuous Systematic Testing of Evolving Software. - Mary Jean Harrold; Darko Marinov; Stephen Oney; Mauro Pezzè; Adam A. Porter; John Penix; Per Runeson; Shin Yoo (Practical Software Testing: Tool Automation and Human Factors, 2010)

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. - Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Gabriel Tamura; Norha M. Villegas; Thomas Vogel 001; Danny Weyns; Luciano Baresi; et al. (Software Engineering for Self-Adaptive Systems, 2010)

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems. - Gabriel Tamura; Norha M. Villegas; Hausi A. Müller; João Pedro Sousa; Basil Becker; Gabor Karsai; Serge Mankovski; Mauro Pezzè; Wilhelm Schäfer; Ladan Tahvildari; Kenny Wong (Software Engineering for Self-Adaptive Systems, 2010)

Structural coverage of feasible code. - Mauro Baluda; Pietro Braione; Giovanni Denaro; Mauro Pezzè (AST, 2010)

RAW: runtime automatic workarounds. - Antonio Carzaniga; Alessandra Gorla; Nicolò Perino; Mauro Pezzè (ICSE (2), 2010)

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). - Betty H. C. Cheng; Rogério de Lemos; David Garlan; Holger Giese; Marin Litoiu; Jeff Magee; Hausi A. Müller; Mauro Pezzè; Richard Taylor 001 (ICSE (2), 2010)

Protecting SLAs with surrogate models. - Alessio Gambi; Giovanni Toffetti; Mauro Pezzè (PESOS, 2010)

SEIM: static extraction of interaction models. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (PESOS, 2010)

Automatically repairing test cases for evolving method declarations. - Mehdi MirzaAghaei; Fabrizio Pastore; Mauro Pezzè (ICSM, 2010)

Engineering Autonomic Controllers for Virtualized Web Applications. - Giovanni Toffetti; Alessio Gambi; Mauro Pezzè; Cesare Pautasso (ICWE, 2010)

On the Integration of Software Testing and Formal Analysis. - Pietro Braione; Giovanni Denaro; Mauro Pezzè (LASER Summer School, 2010)

Automatic workarounds for web applications. - Antonio Carzaniga; Alessandra Gorla; Nicolò Perino; Mauro Pezzè (SIGSOFT FSE, 2010)

Achieving Cost-Effective Software Reliability Through Self-Healing. - Alessandra Gorla; Mauro Pezzè; Jochen Wuttke; Leonardo Mariani; Fabrizio Pastore (Comput. Informatics, 2010)

AutoBlackTest: a tool for automatic black-box testing. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (ICSE, 2011)

Self-Repairing Programs (Dagstuhl Seminar 11062). - Mauro Pezzè; Martin C. Rinard; Westley Weimer; Andreas Zeller (Dagstuhl Reports, 2011)

Enhancing structural software coverage by incrementally computing branch executability. - Mauro Baluda; Pietro Braione; Giovanni Denaro; Mauro Pezzè (Softw. Qual. J., 2011)

Dynamic Analysis for Diagnosing Integration Faults. - Leonardo Mariani; Fabrizio Pastore; Mauro Pezzè (IEEE Trans. Software Eng., 2011)

From off-Line to continuous on-line maintenance. - Mauro Pezzè (ICSM, 2012)

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (ICST, 2012)

Supporting Test Suite Evolution through Test Case Adaptation. - Mehdi MirzaAghaei; Fabrizio Pastore; Mauro Pezzè (ICST, 2012)

Automatic recovery from runtime failures. - Antonio Carzaniga; Alessandra Gorla; Andrea Mattavelli; Nicolò Perino; Mauro Pezzè (ICSE, 2013)

Quantifying the complexity of dataflow testing. - Giovanni Denaro; Mauro Pezzè; Mattia Vivanti (AST, 2013)

Improving Interaction with Services via Probabilistic Piggybacking. - Carlo Ghezzi; Mauro Pezzè; Giordano Tamburrelli (ICSOC, 2013)

Generating Effective Integration Test Cases from Unit Ones. - Mauro Pezzè; Konstantin Rubinov; Jochen Wuttke (ICST, 2013)

Adaptive REST applications via model inference and probabilistic model checking. - Carlo Ghezzi; Mauro Pezzè; Giordano Tamburrelli (IM, 2013)

Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization. - Pietro Braione; Giovanni Denaro; Mauro Pezzè (ESEC/SIGSOFT FSE, 2013)

Kriging Controllers for Cloud Applications. - Alessio Gambi; Giovanni Toffetti; Cesare Pautasso; Mauro Pezzè (IEEE Internet Comput., 2013)

Exception handlers for healing component-based systems. - Hervé Chang; Leonardo Mariani; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2013)

Test-and-adapt: An approach for improving service interchangeability. - Giovanni Denaro; Mauro Pezzè; Davide Tosi (ACM Trans. Softw. Eng. Methodol., 2013)

Graph transformations and software engineering: Success stories and lost chances. - Giovanni Toffetti; Mauro Pezzè (J. Vis. Lang. Comput., 2013)

Assurance of Self-adaptive Controllers for the Cloud. - Alessio Gambi; Giovanni Toffetti; Mauro Pezzè (Assurances for Self-Adaptive Systems, 2013)

Cross-checking oracles from intrinsic software redundancy. - Antonio Carzaniga; Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Mauro Pezzè (ICSE, 2014)

Mining behavior models from user-intensive web applications. - Carlo Ghezzi; Mauro Pezzè; Michele Sama; Giordano Tamburrelli (ICSE, 2014)

On the Right Objectives of Data Flow Testing. - Giovanni Denaro; Mauro Pezzè; Mattia Vivanti (ICST, 2014)

Link: exploiting the web of data to generate test inputs. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (ISSTA, 2014)

Search-based synthesis of equivalent method sequences. - Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Mauro Pezzè; Paolo Tonella (SIGSOFT FSE, 2014)

Automatic testing of GUI-based applications. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Mauro Santoro (Softw. Test. Verification Reliab., 2014)

Automatic test case evolution. - Mehdi MirzaAghaei; Fabrizio Pastore; Mauro Pezzè (Softw. Test. Verification Reliab., 2014)

Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012). - Gail C. Murphy; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2014)

Efficient analysis of event processing applications. - Gianpaolo Cugola; Alessandro Margara; Mauro Pezzè; Matteo Pradella (DEBS, 2015)

Measuring Software Redundancy. - Antonio Carzaniga; Andrea Mattavelli; Mauro Pezzè (ICSE (1), 2015)

Dynamic Data Flow Testing of Object Oriented Systems. - Giovanni Denaro; Alessandro Margara; Mauro Pezzè; Mattia Vivanti (ICSE (1), 2015)

Towards an Engineering Methodology for Multi-model Scientific Simulations. - Alessandro Margara; Mauro Pezzè; Igor V. Pivkin; Mauro Santoro (SE4HPCS@ICSE, 2015)

Towards Cost-Effective Oracles. - Mauro Pezzè (AST@ICSE, 2015)

Reusing constraint proofs in program analysis. - Andrea Aquino; Francesco A. Bianchi; Meixian Chen; Giovanni Denaro; Mauro Pezzè (ISSTA, 2015)

Intrinsic software redundancy for self-healing software systems, automated oracle generation. - Antonio Carzaniga; Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Nicolò Perino; Mauro Pezzè; Paolo Tonella (Software Engineering & Management, 2015)

Symbolic execution of programs with heap inputs. - Pietro Braione; Giovanni Denaro; Mauro Pezzè (ESEC/SIGSOFT FSE, 2015)

Recent Advances in Automatic Black-Box Testing. - Leonardo Mariani; Mauro Pezzè; Daniele Zuddas (Adv. Comput., 2015)

Automated Test Oracles: A Survey. - Mauro Pezzè; Cheng Zhang (Adv. Comput., 2015)

Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications. - Antonio Carzaniga; Alessandra Gorla; Nicolò Perino; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2015)

Introduction to the Special Issue on ISSTA 2013. - Mark Harman; Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2015)

Automatic generation of oracles for exceptional behaviors. - Alberto Goffi; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè (ISSTA, 2016)

JBSE: a symbolic executor for Java programs with complex heap inputs. - Pietro Braione; Giovanni Denaro; Mauro Pezzè (SIGSOFT FSE, 2016)

Model-driven generation of runtime checks for system properties. - Mauro Pezzè; Jochen Wuttke (Int. J. Softw. Tools Technol. Transf., 2016)

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. - Radu Calinescu; Carlo Ghezzi; Kenneth Johnson; Mauro Pezzè; Yasmin Rafiq; Giordano Tamburrelli (IEEE Trans. Reliab., 2016)

Kriging-Based Self-Adaptive Cloud Controllers. - Alessio Gambi; Mauro Pezzè; Giovanni Toffetti (IEEE Trans. Serv. Comput., 2016)

Bidirectional Symbolic Analysis for Effective Branch Testing. - Mauro Baluda; Giovanni Denaro; Mauro Pezzè (IEEE Trans. Software Eng., 2016)

Intrinsic Redundancy for Reliability and Beyond. - Alberto Goffi; Alessandra Gorla; Andrea Mattavelli; Mauro Pezzè (Present and Ulterior Software Engineering, 2017)

Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. - Andrea Aquino; Giovanni Denaro; Mauro Pezzè (ICSE, 2017)

An Exploratory Study of Field Failures. - Luca Gazzola; Leonardo Mariani; Fabrizio Pastore; Mauro Pezzè (ISSRE, 2017)

Combining symbolic execution and search-based testing for programs with complex heap inputs. - Pietro Braione; Giovanni Denaro; Andrea Mattavelli; Mauro Pezzè (ISSTA, 2017)

Reproducing concurrency failures from crash stacks. - Francesco A. Bianchi; Mauro Pezzè; Valerio Terragni (ESEC/SIGSOFT FSE, 2017)

GK-Tail+ An Efficient Approach to Learn Software Models. - Leonardo Mariani; Mauro Pezzè; Mauro Santoro (IEEE Trans. Software Eng., 2017)

SUSHI: a test generator for programs with complex structured inputs. - Pietro Braione; Giovanni Denaro; Andrea Mattavelli; Mauro Pezzè (ICSE (Companion Volume), 2018)

Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles. - Leonardo Mariani; Mauro Pezzè; Daniele Zuddas (ICSE, 2018)

Localizing Faults in Cloud Systems. - Leonardo Mariani; Cristina Monni; Mauro Pezzè; Oliviero Riganelli; Rui Xin (ICST, 2018)

Translating code comments to procedure specifications. - Arianna Blasi; Alberto Goffi; Konstantin Kuznetsov 001; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè; Sergio Delgado Castellanos (ISSTA, 2018)

Automatic GUI testing of desktop applications: an empirical assessment of the state of the art. - Mauro Pezzè; Paolo Rondena; Daniele Zuddas (ISSTA/ECOOP Workshops, 2018)

Effectiveness and challenges in generating concurrent tests for thread-safe classes. - Valerio Terragni; Mauro Pezzè (ASE, 2018)

A Survey of Recent Trends in Testing Concurrent Software Systems. - Francesco Adalberto Bianchi; Alessandro Margara; Mauro Pezzè (IEEE Trans. Software Eng., 2018)

Energy-based anomaly detection a new perspective for predicting software failures. - Cristina Monni; Mauro Pezzè (ICSE (NIER), 2019)

An RBM Anomaly Detector for the Cloud. - Cristina Monni; Mauro Pezzè; Gaetano Prisco (ICST, 2019)

Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies. - Valerio Terragni; Mauro Pezzè; Francesco Adalberto Bianchi (ICST, 2019)

Research on NLP for RE at Università della Svizzera Italiana (USI): A Report. - Arianna Blasi; Mauro Pezzè; Alessandra Gorla; Michael D. Ernst (REFSQ Workshops, 2019)

Editorial from the Incoming Editor-in-Chief. - Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2019)

Measuring Software Testability Modulo Test Quality. - Valerio Terragni; Pasquale Salza; Mauro Pezzè (ICPC, 2020)

Evolutionary improvement of assertion oracles. - Valerio Terragni; Gunel Jahangirova; Paolo Tonella; Mauro Pezzè (ESEC/SIGSOFT FSE, 2020)

Predicting failures in multi-tier distributed systems. - Leonardo Mariani; Mauro Pezzè; Oliviero Riganelli; Rui Xin (J. Syst. Softw., 2020)

Peer Review: Trust and Prejudice. - Mauro Pezzè (ACM SIGSOFT Softw. Eng. Notes, 2020)

Editorial. - Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2020)

An Evolutionary Approach to Adapt Tests Across Mobile Apps. - Leonardo Mariani; Mauro Pezzè; Valerio Terragni; Daniele Zuddas (AST@ICSE, 2021)

Improving assertion oracles with evolutionary computation. - Valerio Terragni; Gunel Jahangirova; Mauro Pezzè; Paolo Tonella (GECCO Companion, 2021)

GAssert: A Fully Automated Tool to Improve Assertion Oracles. - Valerio Terragni; Gunel Jahangirova; Paolo Tonella; Mauro Pezzè (ICSE (Companion Volume), 2021)

Semantic matching of GUI events for test reuse: are we there yet? - Leonardo Mariani; Ali Mohebbi 003; Mauro Pezzè; Valerio Terragni (ISSTA, 2021)

Health of smart ecosystems. - Noura El Moussa; Davide Molinelli; Mauro Pezzè; Martin Tappler (ESEC/SIGSOFT FSE, 2021)

MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation. - Arianna Blasi; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè; Antonio Carzaniga (J. Syst. Softw., 2021)

On introducing automatic test case generation in practice: A success story and lessons learned. - Matteo Brunetto; Giovanni Denaro; Leonardo Mariani; Mauro Pezzè (J. Syst. Softw., 2021)

Statically driven generation of concurrent tests for thread-safe classes. - Valerio Terragni; Mauro Pezzè (Softw. Test. Verification Reliab., 2021)

Reusing Solutions Modulo Theories. - Andrea Aquino; Giovanni Denaro; Mauro Pezzè (IEEE Trans. Software Eng., 2021)

Testing Software in Production Environments with Data from the Field. - Luca Gazzola; Leonardo Mariani; Matteo Orrù; Mauro Pezzè; Martin Tappler (ICST, 2022)

The ineffectiveness of domain-specific word embedding models for GUI test reuse. - Farideh Khalili; Ali Mohebbi 003; Valerio Terragni; Mauro Pezzè; Leonardo Mariani; Abbas Heydarnoori (ICPC, 2022)

Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints. - Arianna Blasi; Alessandra Gorla; Michael D. Ernst; Mauro Pezzè (ASE, 2022)

Machine learning and natural language processing for automating software testing (tutorial). - Mauro Pezzè (ESEC/SIGSOFT FSE, 2022)

A Survey of Field-based Testing Techniques. - Antonia Bertolino; Pietro Braione; Guglielmo De Angelis; Luca Gazzola; Fitsum Meshesha Kifetew; Leonardo Mariani; Matteo Orrù; Mauro Pezzè; Roberto Pietrantuono; Stefano Russo 001; Paolo Tonella (ACM Comput. Surv., 2022)

Editorial: A Retrospective and Prospective Reflection. - Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2022)

EDITORIAL: Announcing Six TOSEM Issues Per Year. - Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2023)

Prevent: An Unsupervised Approach to Predict Software Failures in Production. - Giovanni Denaro; Rahim Heydarov; Ali Mohebbi 003; Mauro Pezzè (IEEE Trans. Software Eng., 2023)

Generative AI in Software Engineering Must Be Human-Centered: The Copenhagen Manifesto. - Daniel Russo 002; Sebastian Baltes; Niels van Berkel; Paris Avgeriou; Fabio Calefato; Beatriz Cabrero-Daniel; Gemma Catolino; Jürgen Cito; Neil A. Ernst; Thomas Fritz 001; Hideaki Hata; Reid Holmes; et al. (J. Syst. Softw., 2024)

Predicting Failures of Autoscaling Distributed Applications. - Giovanni Denaro; Noura El Moussa; Rahim Heydarov; Francesco Lomio; Mauro Pezzè; Ketai Qiu (Proc. ACM Softw. Eng., 2024)

Editorial: Toward the Future with Eight Issues Per Year. - Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2024)

Semantic matching in GUI test reuse. - Farideh Khalili; Leonardo Mariani; Ali Mohebbi 003; Mauro Pezzè; Valerio Terragni (Empir. Softw. Eng., 2024)

Editorial: ICSE and the Incredible Contradictions of Software Engineering. - Mauro Pezzè (ACM Trans. Softw. Eng. Methodol., 2024)

The Trailer of the ACM 2030 Roadmap for Software Engineering. - Mauro Pezzè; Matteo Ciniselli; Luca Di Grazia; Niccolò Puccinelli; Ketai Qiu (ACM SIGSOFT Softw. Eng. Notes, 2024)