Mauro Pezzè

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 62

Top Venues

ACM Trans. Softw. Eng. Methodol.

CoRR

ISSTA

ESEC/SIGSOFT FSE

Publications

Giovanni Denaro, Noura El Moussa, Rahim Heydarov, Francesco Lomio, Mauro Pezzè, Ketai Qiu
Predicting Failures of Autoscaling Distributed Applications. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Daniel Russo, Sebastian Baltes, Niels van Berkel, Paris Avgeriou, Fabio Calefato, Beatriz Cabrero-Daniel, Gemma Catolino, Jürgen Cito, Neil A. Ernst, Thomas Fritz, Hideaki Hata, Reid Holmes, Maliheh Izadi, Foutse Khomh, Mikkel Baun Kjærgaard, Grischa Liebel, Alberto Lluch-Lafuente, Stefano Lambiase, Walid Maalej, Gail C. Murphy, Nils Brede Moe, Gabrielle O'Brien, Elda Paja, Mauro Pezzè, John Stouby Persson, Rafael Prikladnicki, Paul Ralph, Martin P. Robillard, Thiago Rocha Silva, Klaas-Jan Stol, Margaret-Anne D. Storey, Viktoria Stray, Paolo Tell, Christoph Treude, Bogdan Vasilescu
Generative AI in Software Engineering Must Be Human-Centered: The Copenhagen Manifesto. J. Syst. Softw. 216 (2024)
Mauro Pezzè
Editorial: Toward the Future with Eight Issues Per Year. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Farideh Khalili, Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni
Semantic matching in GUI test reuse. Empir. Softw. Eng. 29 (3) (2024)
Mauro Pezzè
Editorial: ICSE and the Incredible Contradictions of Software Engineering. ACM Trans. Softw. Eng. Methodol. 33 (4) (2024)
Mauro Pezzè
EDITORIAL: Announcing Six TOSEM Issues Per Year. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè
Prevent: An Unsupervised Approach to Predict Software Failures in Production. IEEE Trans. Software Eng. 49 (12) (2023)
Mauro Pezzè
Editorial: A Retrospective and Prospective Reflection. ACM Trans. Softw. Eng. Methodol. 31 (2) (2022)
Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler
Testing Software in Production Environments with Data from the Field. ICST (2022)
Farideh Khalili, Ali Mohebbi, Valerio Terragni, Mauro Pezzè, Leonardo Mariani, Abbas Heydarnoori
The ineffectiveness of domain-specific word embedding models for GUI test reuse. ICPC (2022)
Mauro Pezzè
Machine learning and natural language processing for automating software testing (tutorial). ESEC/SIGSOFT FSE (2022)
Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints. ASE (2022)
Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè
PREVENT: An Unsupervised Approach to Predict Software Failures in Production. CoRR (2022)
Mauro Pezzè
Editorial. ACM Trans. Softw. Eng. Methodol. 30 (3) (2021)
Antonia Bertolino, Pietro Braione, Guglielmo De Angelis, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Roberto Pietrantuono, Stefano Russo, Paolo Tonella
A Survey of Field-based Testing Techniques. ACM Comput. Surv. 54 (5) (2021)
Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Antonio Carzaniga
MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation. J. Syst. Softw. 181 (2021)
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè
GAssert: A Fully Automated Tool to Improve Assertion Oracles. CoRR (2021)
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè
GAssert: A Fully Automated Tool to Improve Assertion Oracles. ICSE (Companion Volume) (2021)
Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni
Semantic matching of GUI events for test reuse: are we there yet? ISSTA (2021)
Valerio Terragni, Gunel Jahangirova, Mauro Pezzè, Paolo Tonella
Improving assertion oracles with evolutionary computation. GECCO Companion (2021)
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
On introducing automatic test case generation in practice: A success story and lessons learned. J. Syst. Softw. 176 (2021)
Andrea Aquino, Giovanni Denaro, Mauro Pezzè
Reusing Solutions Modulo Theories. IEEE Trans. Software Eng. 47 (5) (2021)
Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas
An Evolutionary Approach to Adapt Tests Across Mobile Apps. AST@ICSE (2021)
Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas
An Evolutionary Approach to Adapt Tests Across Mobile Apps. CoRR (2021)
Valerio Terragni, Mauro Pezzè
Statically driven generation of concurrent tests for thread-safe classes. Softw. Test. Verification Reliab. 31 (4) (2021)
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned. CoRR (2021)
Noura El Moussa, Davide Molinelli, Mauro Pezzè, Martin Tappler
Health of smart ecosystems. ESEC/SIGSOFT FSE (2021)
Valerio Terragni, Pasquale Salza, Mauro Pezzè
Measuring Software Testability Modulo Test Quality. ICPC (2020)
Mauro Pezzè
Editorial. ACM Trans. Softw. Eng. Methodol. 29 (3) (2020)
Mauro Pezzè
Peer Review: Trust and Prejudice. ACM SIGSOFT Softw. Eng. Notes 45 (4) (2020)
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè
Evolutionary improvement of assertion oracles. ESEC/SIGSOFT FSE (2020)
Mauro Pezzè
Editorial. ACM Trans. Softw. Eng. Methodol. 29 (2) (2020)
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Predicting failures in multi-tier distributed systems. J. Syst. Softw. 161 (2020)
Mauro Pezzè
Editorial. ACM Trans. Softw. Eng. Methodol. 28 (4) (2019)
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Predicting Failures in Multi-Tier Distributed Systems. CoRR (2019)
Cristina Monni, Mauro Pezzè
Energy-based anomaly detection a new perspective for predicting software failures. ICSE (NIER) (2019)
Mauro Pezzè
Editorial from the Incoming Editor-in-Chief. ACM Trans. Softw. Eng. Methodol. 28 (1) (2019)
Arianna Blasi, Mauro Pezzè, Alessandra Gorla, Michael D. Ernst
Research on NLP for RE at Università della Svizzera Italiana (USI): A Report. REFSQ Workshops (2019)
Mauro Pezzè
Editorial. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)
Mauro Pezzè
Editorial. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
Valerio Terragni, Mauro Pezzè, Francesco Adalberto Bianchi
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies. ICST (2019)
Cristina Monni, Mauro Pezzè, Gaetano Prisco
An RBM Anomaly Detector for the Cloud. ICST (2019)
Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Localizing Faults in Cloud Systems. ICST (2018)
Mauro Pezzè, Paolo Rondena, Daniele Zuddas
Automatic GUI testing of desktop applications: an empirical assessment of the state of the art. ISSTA/ECOOP Workshops (2018)
Francesco Adalberto Bianchi, Alessandro Margara, Mauro Pezzè
A Survey of Recent Trends in Testing Concurrent Software Systems. IEEE Trans. Software Eng. 44 (8) (2018)
Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Localizing Faults in Cloud Systems. CoRR (2018)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
SUSHI: a test generator for programs with complex structured inputs. ICSE (Companion Volume) (2018)
Valerio Terragni, Mauro Pezzè
Effectiveness and challenges in generating concurrent tests for thread-safe classes. ASE (2018)
Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos
Translating code comments to procedure specifications. ISSTA (2018)
Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles. ICSE (2018)
Francesco A. Bianchi, Mauro Pezzè, Valerio Terragni
Reproducing concurrency failures from crash stacks. ESEC/SIGSOFT FSE (2017)
Andrea Aquino, Giovanni Denaro, Mauro Pezzè
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. ICSE (2017)
Leonardo Mariani, Mauro Pezzè, Mauro Santoro
GK-Tail+ An Efficient Approach to Learn Software Models. IEEE Trans. Software Eng. 43 (8) (2017)
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
An Exploratory Study of Field Failures. ISSRE (2017)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
Combining symbolic execution and search-based testing for programs with complex heap inputs. ISSTA (2017)
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
An Exploratory Study of Field Failures. CoRR (2017)
Mauro Pezzè, Jochen Wuttke
Model-driven generation of runtime checks for system properties. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Pietro Braione, Giovanni Denaro, Mauro Pezzè
JBSE: a symbolic executor for Java programs with complex heap inputs. SIGSOFT FSE (2016)
Alessio Gambi, Mauro Pezzè, Giovanni Toffetti
Kriging-Based Self-Adaptive Cloud Controllers. IEEE Trans. Serv. Comput. 9 (3) (2016)
Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Trans. Reliab. 65 (1) (2016)
Mauro Baluda, Giovanni Denaro, Mauro Pezzè
Bidirectional Symbolic Analysis for Effective Branch Testing. IEEE Trans. Software Eng. 42 (5) (2016)
Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
Automatic generation of oracles for exceptional behaviors. ISSTA (2016)
Giovanni Denaro, Alessandro Margara, Mauro Pezzè, Mattia Vivanti
Dynamic Data Flow Testing of Object Oriented Systems. ICSE (1) (2015)
Mark Harman, Mauro Pezzè
Introduction to the Special Issue on ISSTA 2013. ACM Trans. Softw. Eng. Methodol. 24 (4) (2015)
Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè
Reusing constraint proofs in program analysis. ISSTA (2015)
Alessandro Margara, Mauro Pezzè, Igor V. Pivkin, Mauro Santoro
Towards an Engineering Methodology for Multi-model Scientific Simulations. SE4HPCS@ICSE (2015)
Mauro Pezzè
Towards Cost-Effective Oracles. AST@ICSE (2015)
Gianpaolo Cugola, Alessandro Margara, Mauro Pezzè, Matteo Pradella
Efficient analysis of event processing applications. DEBS (2015)
Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè, Paolo Tonella
Intrinsic software redundancy for self-healing software systems, automated oracle generation. Software Engineering & Management (2015)
Pietro Braione, Giovanni Denaro, Mauro Pezzè
Symbolic execution of programs with heap inputs. ESEC/SIGSOFT FSE (2015)
Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè
Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications. ACM Trans. Softw. Eng. Methodol. 24 (3) (2015)
Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
Recent Advances in Automatic Black-Box Testing. Adv. Comput. 99 (2015)
Mauro Pezzè, Cheng Zhang
Automated Test Oracles: A Survey. Adv. Comput. 95 (2015)
Antonio Carzaniga, Andrea Mattavelli, Mauro Pezzè
Measuring Software Redundancy. ICSE (1) (2015)
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
On the Right Objectives of Data Flow Testing. ICST (2014)
Gail C. Murphy, Mauro Pezzè
Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012). ACM Trans. Softw. Eng. Methodol. 23 (4) (2014)
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
Automatic testing of GUI-based applications. Softw. Test. Verification Reliab. 24 (5) (2014)
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
Link: exploiting the web of data to generate test inputs. ISSTA (2014)
Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè
Cross-checking oracles from intrinsic software redundancy. ICSE (2014)
Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, Paolo Tonella
Search-based synthesis of equivalent method sequences. SIGSOFT FSE (2014)
Carlo Ghezzi, Mauro Pezzè, Michele Sama, Giordano Tamburrelli
Mining behavior models from user-intensive web applications. ICSE (2014)
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè
Automatic test case evolution. Softw. Test. Verification Reliab. 24 (5) (2014)
Alessio Gambi, Giovanni Toffetti, Cesare Pautasso, Mauro Pezzè
Kriging Controllers for Cloud Applications. IEEE Internet Comput. 17 (4) (2013)
Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli
Adaptive REST applications via model inference and probabilistic model checking. IM (2013)
Pietro Braione, Giovanni Denaro, Mauro Pezzè
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization. ESEC/SIGSOFT FSE (2013)
Giovanni Toffetti, Mauro Pezzè
Graph transformations and software engineering: Success stories and lost chances. J. Vis. Lang. Comput. 24 (3) (2013)
Giovanni Denaro, Mauro Pezzè, Davide Tosi
Test-and-adapt: An approach for improving service interchangeability. ACM Trans. Softw. Eng. Methodol. 22 (4) (2013)
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
Quantifying the complexity of dataflow testing. AST (2013)
Hervé Chang, Leonardo Mariani, Mauro Pezzè
Exception handlers for healing component-based systems. ACM Trans. Softw. Eng. Methodol. 22 (4) (2013)
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè
Automatic recovery from runtime failures. ICSE (2013)
Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli
Improving Interaction with Services via Probabilistic Piggybacking. ICSOC (2013)
Mauro Pezzè, Konstantin Rubinov, Jochen Wuttke
Generating Effective Integration Test Cases from Unit Ones. ICST (2013)
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. ICST (2012)
Mauro Pezzè
From off-Line to continuous on-line maintenance. ICSM (2012)
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè
Supporting Test Suite Evolution through Test Case Adaptation. ICST (2012)
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
AutoBlackTest: a tool for automatic black-box testing. ICSE (2011)
Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller
Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports 1 (2) (2011)
Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
Dynamic Analysis for Diagnosing Integration Faults. IEEE Trans. Software Eng. 37 (4) (2011)
Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè
Enhancing structural software coverage by incrementally computing branch executability. Softw. Qual. J. 19 (4) (2011)
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
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems. Software Engineering for Self-Adaptive Systems (2010)

Mauro Pezzè.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mauro Pezzè