Mauro Pezzè

231 papers A* 22A 27B 15C 3Journal 81Unranked 75
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Journal for the Second Quarter of the Century.
IEEE Trans. Software Eng.
Mauro Pezzè
2026 J jnl
SE Journals in 2036: Looking Back at the Future We Need to Have.
CoRR
Tim Menzies, Paris Avgeriou, Robert Feldt, Mauro Pezzè, Abhik Roychoudhury, Miroslaw Staron, Sebastián Uchitel, Thomas Zimmermann
2025 J jnl
A 2030 Roadmap for Software Engineering.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè, Silvia Abrahão, Birgit Penzenstadler, Denys Poshyvanyk, Abhik Roychoudhury, Tao Yue
2025 J jnl
Artificial Intelligence for Software Engineering: The Journey So Far and the Road Ahead.
ACM Trans. Softw. Eng. Methodol.
Iftekhar Ahmed, Aldeida Aleti, Haipeng Cai, Alexander Chatzigeorgiou, Pinjia He, Xing Hu, Mauro Pezzè, Denys Poshyvanyk, Xin Xia
2025 A* conf
Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased Dataset.
ASE
Davide Molinelli, Luca Di Grazia, Alberto Martin-Lopez, Michael D. Ernst, Mauro Pezzè
2025 J jnl
E-Test: E'er-Improving Test Suites.
CoRR
Ketai Qiu, Luca Di Grazia, Leonardo Mariani, Mauro Pezzè
2025 — conf
Get on the Train or be Left on the Station: Using LLMs for Software Engineering Research.
SIGSOFT FSE Companion
Bianca Trinkenreich, Fabio Calefato, Geir Hanssen, Kelly Blincoe, Marcos Kalinowski, Mauro Pezzè, Paolo Tell, Margaret-Anne D. Storey
2025 J jnl
Get on the Train or be Left on the Station: Using LLMs for Software Engineering Research.
CoRR
Bianca Trinkenreich, Fabio Calefato, Geir Hanssen, Kelly Blincoe, Marcos Kalinowski, Mauro Pezzè, Paolo Tell, Margaret-Anne D. Storey
2025 J jnl
Software Engineering by and for Humans in an AI Era.
ACM Trans. Softw. Eng. Methodol.
Silvia Abrahão, John C. Grundy, Mauro Pezzè, Margaret-Anne D. Storey, Damian A. Tamburri
2025 J jnl
Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles.
CoRR
Davide Molinelli, Alberto Martin-Lopez, Elliott Zackrone, Beyza Eken, Michael D. Ernst, Mauro Pezzè
2025 J jnl
Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles.
Proc. ACM Softw. Eng.
Davide Molinelli, Alberto Martin-Lopez, Elliott Zackrone, Beyza Eken, Michael D. Ernst, Mauro Pezzè
2024 J jnl
Editorial: ICSE and the Incredible Contradictions of Software Engineering.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2024 J jnl
Editorial: The End of the Journey.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2024 J jnl
Editorial: Toward the Future with Eight Issues Per Year.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2024 J jnl
Generative AI in Software Engineering Must Be Human-Centered: The Copenhagen Manifesto.
J. Syst. Softw.
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
2024 J jnl
Predicting Failures of Autoscaling Distributed Applications.
Proc. ACM Softw. Eng.
Giovanni Denaro, Noura El Moussa, Rahim Heydarov, Francesco Lomio, Mauro Pezzè, Ketai Qiu
2024 J jnl
Semantic matching in GUI test reuse.
Empir. Softw. Eng.
Farideh Khalili, Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni
2024 J jnl
The Trailer of the ACM 2030 Roadmap for Software Engineering.
ACM SIGSOFT Softw. Eng. Notes
Mauro Pezzè, Matteo Ciniselli, Luca Di Grazia, Niccolò Puccinelli, Ketai Qiu
2023 J jnl
EDITORIAL: Announcing Six TOSEM Issues Per Year.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2023 J jnl
Prevent: An Unsupervised Approach to Predict Software Failures in Production.
IEEE Trans. Software Eng.
Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè
2022 J jnl
A Survey of Field-based Testing Techniques.
ACM Comput. Surv.
Antonia Bertolino, Pietro Braione, Guglielmo De Angelis, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Roberto Pietrantuono, Stefano Russo, Paolo Tonella
2022 A* conf
Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints.
ASE
Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
2022 J jnl
Editorial: A Retrospective and Prospective Reflection.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2022 — conf
Machine learning and natural language processing for automating software testing (tutorial).
ESEC/SIGSOFT FSE
Mauro Pezzè
2022 J jnl
PREVENT: An Unsupervised Approach to Predict Software Failures in Production.
CoRR
Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè
2022 A conf
Testing Software in Production Environments with Data from the Field.
ICST
Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler
2022 A conf
The ineffectiveness of domain-specific word embedding models for GUI test reuse.
ICPC
Farideh Khalili, Ali Mohebbi, Valerio Terragni, Mauro Pezzè, Leonardo Mariani, Abbas Heydarnoori
2021 C conf
An Evolutionary Approach to Adapt Tests Across Mobile Apps.
AST
Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas
2021 J jnl
An Evolutionary Approach to Adapt Tests Across Mobile Apps.
CoRR
Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas
2021 J jnl
Editorial.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2021 — conf
GAssert: A Fully Automated Tool to Improve Assertion Oracles.
ICSE (Companion Volume)
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè
2021 J jnl
GAssert: A Fully Automated Tool to Improve Assertion Oracles.
CoRR
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè
2021 — conf
Health of smart ecosystems.
ESEC/SIGSOFT FSE
Noura El Moussa, Davide Molinelli, Mauro Pezzè, Martin Tappler
2021 — conf
Improving assertion oracles with evolutionary computation.
GECCO Companion
Valerio Terragni, Gunel Jahangirova, Mauro Pezzè, Paolo Tonella
2021 J jnl
MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation.
J. Syst. Softw.
Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Antonio Carzaniga
2021 J jnl
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned.
CoRR
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
2021 J jnl
On introducing automatic test case generation in practice: A success story and lessons learned.
J. Syst. Softw.
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
2021 J jnl
Reusing Solutions Modulo Theories.
IEEE Trans. Software Eng.
Andrea Aquino, Giovanni Denaro, Mauro Pezzè
2021 A conf
Semantic matching of GUI events for test reuse: are we there yet?
ISSTA
Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni
2021 J jnl
Statically driven generation of concurrent tests for thread-safe classes.
Softw. Test. Verification Reliab.
Valerio Terragni, Mauro Pezzè
2020 J jnl
Editorial.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2020 J jnl
Editorial.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2020 — conf
Evolutionary improvement of assertion oracles.
ESEC/SIGSOFT FSE
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè
2020 A conf
Measuring Software Testability Modulo Test Quality.
ICPC
Valerio Terragni, Pasquale Salza, Mauro Pezzè
2020 J jnl
Peer Review: Trust and Prejudice.
ACM SIGSOFT Softw. Eng. Notes
Mauro Pezzè
2020 J jnl
Predicting failures in multi-tier distributed systems.
J. Syst. Softw.
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
2019 A conf
An RBM Anomaly Detector for the Cloud.
ICST
Cristina Monni, Mauro Pezzè, Gaetano Prisco
2019 A conf
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies.
ICST
Valerio Terragni, Mauro Pezzè, Francesco Adalberto Bianchi
2019 J jnl
Editorial from the Incoming Editor-in-Chief.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2019 J jnl
Editorial.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2019 J jnl
Editorial.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2019 J jnl
Editorial.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè
2019 — conf
Energy-based anomaly detection a new perspective for predicting software failures.
ICSE (NIER)
Cristina Monni, Mauro Pezzè
2019 J jnl
Predicting Failures in Multi-Tier Distributed Systems.
CoRR
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
2019 — conf
Research on NLP for RE at Università della Svizzera Italiana (USI): A Report.
REFSQ Workshops
Arianna Blasi, Mauro Pezzè, Alessandra Gorla, Michael D. Ernst
2018 J jnl
A Survey of Recent Trends in Testing Concurrent Software Systems.
IEEE Trans. Software Eng.
Francesco Adalberto Bianchi, Alessandro Margara, Mauro Pezzè
2018 A* conf
Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles.
ICSE
Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
2018 — conf
Automatic GUI testing of desktop applications: an empirical assessment of the state of the art.
ISSTA/ECOOP Workshops
Mauro Pezzè, Paolo Rondena, Daniele Zuddas
2018 A* conf
Effectiveness and challenges in generating concurrent tests for thread-safe classes.
ASE
Valerio Terragni, Mauro Pezzè
2018 A conf
Localizing Faults in Cloud Systems.
ICST
Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin
2018 J jnl
Localizing Faults in Cloud Systems.
CoRR
Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin
2018 — conf
SUSHI: a test generator for programs with complex structured inputs.
ICSE (Companion Volume)
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
2018 A conf
Translating code comments to procedure specifications.
ISSTA
Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos
2017 A conf
An Exploratory Study of Field Failures.
ISSRE
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
2017 J jnl
An Exploratory Study of Field Failures.
CoRR
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
2017 A conf
Combining symbolic execution and search-based testing for programs with complex heap inputs.
ISSTA
Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
2017 J jnl
GK-Tail+ An Efficient Approach to Learn Software Models.
IEEE Trans. Software Eng.
Leonardo Mariani, Mauro Pezzè, Mauro Santoro
2017 A* conf
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions.
ICSE
Andrea Aquino, Giovanni Denaro, Mauro Pezzè
2017 — ch.
Intrinsic Redundancy for Reliability and Beyond.
Present and Ulterior Software Engineering
Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè
2017 — conf
Reproducing concurrency failures from crash stacks.
ESEC/SIGSOFT FSE
Francesco A. Bianchi, Mauro Pezzè, Valerio Terragni
2016 A conf
Automatic generation of oracles for exceptional behaviors.
ISSTA
Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
2016 J jnl
Bidirectional Symbolic Analysis for Effective Branch Testing.
IEEE Trans. Software Eng.
Mauro Baluda, Giovanni Denaro, Mauro Pezzè
2016 J jnl
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems.
IEEE Trans. Reliab.
Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli
2016 — conf
JBSE: a symbolic executor for Java programs with complex heap inputs.
SIGSOFT FSE
Pietro Braione, Giovanni Denaro, Mauro Pezzè
2016 J jnl
Kriging-Based Self-Adaptive Cloud Controllers.
IEEE Trans. Serv. Comput.
Alessio Gambi, Mauro Pezzè, Giovanni Toffetti
2016 J jnl
Model-driven generation of runtime checks for system properties.
Int. J. Softw. Tools Technol. Transf.
Mauro Pezzè, Jochen Wuttke
2015 J jnl
Automated Test Oracles: A Survey.
Adv. Comput.
Mauro Pezzè, Cheng Zhang
2015 J jnl
Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications.
ACM Trans. Softw. Eng. Methodol.
Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè
2015 — conf
Dynamic Data Flow Testing of Object Oriented Systems.
ICSE (1)
Giovanni Denaro, Alessandro Margara, Mauro Pezzè, Mattia Vivanti
2015 — conf
Efficient analysis of event processing applications.
DEBS
Gianpaolo Cugola, Alessandro Margara, Mauro Pezzè, Matteo Pradella
2015 — conf
Intrinsic software redundancy for self-healing software systems, automated oracle generation.
Software Engineering & Management
Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè, Paolo Tonella
2015 J jnl
Introduction to the Special Issue on ISSTA 2013.
ACM Trans. Softw. Eng. Methodol.
Mark Harman, Mauro Pezzè
2015 — conf
Measuring Software Redundancy.
ICSE (1)
Antonio Carzaniga, Andrea Mattavelli, Mauro Pezzè
2015 J jnl
Recent Advances in Automatic Black-Box Testing.
Adv. Comput.
Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
2015 A conf
Reusing constraint proofs in program analysis.
ISSTA
Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè
2015 — conf
Symbolic execution of programs with heap inputs.
ESEC/SIGSOFT FSE
Pietro Braione, Giovanni Denaro, Mauro Pezzè
2015 — conf
Towards Cost-Effective Oracles.
AST@ICSE
Mauro Pezzè
2015 — conf
Towards an Engineering Methodology for Multi-model Scientific Simulations.
SE4HPCS@ICSE
Alessandro Margara, Mauro Pezzè, Igor V. Pivkin, Mauro Santoro
2014 J jnl
Automatic test case evolution.
Softw. Test. Verification Reliab.
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè
2014 J jnl
Automatic testing of GUI-based applications.
Softw. Test. Verification Reliab.
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2014 A* conf
Cross-checking oracles from intrinsic software redundancy.
ICSE
Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè
2014 J jnl
Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012).
ACM Trans. Softw. Eng. Methodol.
Gail C. Murphy, Mauro Pezzè
2014 A conf
Link: exploiting the web of data to generate test inputs.
ISSTA
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2014 A* conf
Mining behavior models from user-intensive web applications.
ICSE
Carlo Ghezzi, Mauro Pezzè, Michele Sama, Giordano Tamburrelli
2014 A conf
On the Right Objectives of Data Flow Testing.
ICST
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
2014 — conf
Search-based synthesis of equivalent method sequences.
SIGSOFT FSE
Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, Paolo Tonella
2013 B conf
Adaptive REST applications via model inference and probabilistic model checking.
IM
Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli
2013 — ch.
Assurance of Self-adaptive Controllers for the Cloud.
Assurances for Self-Adaptive Systems
Alessio Gambi, Giovanni Toffetti, Mauro Pezzè
2013 A* conf
Automatic recovery from runtime failures.
ICSE
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè
2013 — conf
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization.
ESEC/SIGSOFT FSE
Pietro Braione, Giovanni Denaro, Mauro Pezzè
2013 J jnl
Exception handlers for healing component-based systems.
ACM Trans. Softw. Eng. Methodol.
Hervé Chang, Leonardo Mariani, Mauro Pezzè
2013 A conf
Generating Effective Integration Test Cases from Unit Ones.
ICST
Mauro Pezzè, Konstantin Rubinov, Jochen Wuttke
2013 J jnl
Graph transformations and software engineering: Success stories and lost chances.
J. Vis. Lang. Comput.
Giovanni Toffetti, Mauro Pezzè
2013 A conf
Improving Interaction with Services via Probabilistic Piggybacking.
ICSOC
Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli
2013 A ed.
International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013
ISSTA
Mauro Pezzè, Mark Harman
2013 J jnl
Kriging Controllers for Cloud Applications.
IEEE Internet Comput.
Alessio Gambi, Giovanni Toffetti, Cesare Pautasso, Mauro Pezzè
2013 — conf
Quantifying the complexity of dataflow testing.
AST@ICSE
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
2013 J jnl
Test-and-adapt: An approach for improving service interchangeability.
ACM Trans. Softw. Eng. Methodol.
Giovanni Denaro, Mauro Pezzè, Davide Tosi
2012 A* ed.
34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland
ICSE
Martin Glinz, Gail C. Murphy, Mauro Pezzè
2012 A conf
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications.
ICST
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2012 — conf
From off-Line to continuous on-line maintenance.
ICSM
Mauro Pezzè
2012 A conf
Supporting Test Suite Evolution through Test Case Adaptation.
ICST
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè
2011 A* conf
AutoBlackTest: a tool for automatic black-box testing.
ICSE
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2011 J jnl
Dynamic Analysis for Diagnosing Integration Faults.
IEEE Trans. Software Eng.
Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
2011 J jnl
Enhancing structural software coverage by incrementally computing branch executability.
Softw. Qual. J.
Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè
2011 J jnl
Self-Repairing Programs (Dagstuhl Seminar 11062).
Dagstuhl Reports
Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller
2010 A ed.
2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2010, Cape Town, South Africa, May 3-4, 2010
SEAMS
Rogério de Lemos, Mauro Pezzè
2010 J jnl
Achieving Cost-Effective Software Reliability Through Self-Healing.
Comput. Informatics
Alessandra Gorla, Mauro Pezzè, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore
2010 — conf
Automatic workarounds for web applications.
SIGSOFT FSE
Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè
2010 — conf
Automatically repairing test cases for evolving method declarations.
ICSM
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè
2010 B conf
Engineering Autonomic Controllers for Virtualized Web Applications.
ICWE
Giovanni Toffetti, Alessio Gambi, Mauro Pezzè, Cesare Pautasso
2010 — conf
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).
ICSE (2)
Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor
2010 — conf
Introducing Continuous Systematic Testing of Evolving Software.
Practical Software Testing: Tool Automation and Human Factors
Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam A. Porter, John Penix, Per Runeson, Shin Yoo
2010 — conf
On the Integration of Software Testing and Formal Analysis.
LASER Summer School
Pietro Braione, Giovanni Denaro, Mauro Pezzè
2010 — conf
Protecting SLAs with surrogate models.
PESOS
Alessio Gambi, Giovanni Toffetti, Mauro Pezzè
2010 — conf
RAW: runtime automatic workarounds.
ICSE (2)
Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè
2010 — conf
SEIM: static extraction of interaction models.
PESOS
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2010 — conf
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.
Software Engineering for Self-Adaptive Systems
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, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke
2010 — conf
Software Engineering for Self-Adaptive Systems: A second Research Roadmap.
Software Engineering for Self-Adaptive Systems
Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke
2010 — conf
Structural coverage of feasible code.
AST@ICSE
Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè
2010 — conf
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems.
Software Engineering for Self-Adaptive 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
2009 A* conf
A toolset for automated failure analysis.
ICSE
Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
2009 — conf
Automatic Generation of Runtime Failure Detectors from Property Templates.
Software Engineering for Self-Adaptive Systems
Mauro Pezzè, Jochen Wuttke
2009 — conf
Automatic steering of behavioral model inference.
ESEC/SIGSOFT FSE
David Lo, Leonardo Mariani, Mauro Pezzè
2009 — conf
DaTeC: Contextual data flow testing of java classes.
ICSE Companion
Giovanni Denaro, Alessandra Gorla, Mauro Pezzè
2009 — conf
Engineering Self-Adaptive Systems through Feedback Loops.
Software Engineering for Self-Adaptive Systems
Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger M. Kienle, Marin Litoiu, Hausi A. Müller, Mauro Pezzè, Mary Shaw
2009 — conf
Ensuring interoperable service-oriented systems through engineered self-healing.
ESEC/SIGSOFT FSE
Giovanni Denaro, Mauro Pezzè, Davide Tosi
2009 A* conf
In-field healing of integration problems with COTS components.
ICSE
Hervé Chang, Leonardo Mariani, Mauro Pezzè
2009 — conf
LuMiNous - model-driven assertion generation for runtime failure detection.
ICSE Companion
Mauro Pezzè, Jochen Wuttke
2009 A conf
SLA Protection models for virtualized data centers.
SEAMS
Alessio Gambi, Mauro Pezzè, Michal Young
2009 — conf
Toward deeply adaptive societies of digital systems.
ICSE Companion
Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf
2009 J jnl
Towards autonomic service-oriented applications.
Int. J. Auton. Comput.
Davide Tosi, Giovanni Denaro, Mauro Pezzè
2008 B conf
A Formal Framework for Developing Adaptable Service-Based Applications.
FASE
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè
2008 A* conf
Automatic generation of software behavioral models.
ICSE
Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè
2008 B conf
Contextual Integration Testing of Classes.
FASE
Giovanni Denaro, Alessandra Gorla, Mauro Pezzè
2008 B conf
Handling Software Faults with Redundancy.
WADS
Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè
2008 J jnl
Healing Web applications through automatic workarounds.
Int. J. Softw. Tools Technol. Transf.
Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè
2008 J jnl
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006).
ACM Trans. Softw. Eng. Methodol.
David Notkin, Mauro Pezzè
2008 A conf
Self-healing by means of automatic workarounds.
SEAMS
Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè
2008 — conf
Self-healing strategies for component integration faults.
ASE Workshops
Hervé Chang, Leonardo Mariani, Mauro Pezzè
2008 — conf
Visibility of control in adaptive systems.
ULSSIS@ICSE
Hausi A. Müller, Mauro Pezzè, Mary Shaw
2007 A* conf
Compatibility and Regression Testing of COTS-Component-Based Software.
ICSE
Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè
2007 — conf
Designing Self-Adaptive Service-Oriented Applications.
ICAC
Giovanni Denaro, Mauro Pezzè, Davide Tosi
2007 J jnl
Dynamic Detection of COTS Component Incompatibility.
IEEE Softw.
Leonardo Mariani, Mauro Pezzè
2007 — ed.
Fourth International Workshop on Software Quality Assurance, SOQUA 2007, in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, 2007
SOQUA
Mauro Pezzè
2007 J jnl
Introduction to the special section on FASE 2003.
Int. J. Softw. Tools Technol. Transf.
Mauro Pezzè
2007 A* conf
Iterative model-driven development of adaptable service-based applications.
ASE
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè
2007 — conf
SHIWS: A Self-Healing Integrator for Web Services.
ICSE Companion
Giovanni Denaro, Mauro Pezzè, Davide Tosi
2007 — conf
SOQUA 2007: 4th international workshop on software quality assurance.
ESEC/SIGSOFT FSE
Giovanni Denaro, Mauro Pezzè, Onn Shehory
2007 — book
Software testing and analysis - process, principles and techniques.
Mauro Pezzè, Michal Young
2007 A conf
Towards Self-Protecting Enterprise Applications.
ISSRE
Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè
2006 — conf
A SOA based Self-Adaptive PERSONAL MOBILITY MANAGER.
IEEE SCC
Davide Lorenzoli, Mauro Pezzè, Stefano Mussino, Andrea Sichel, Davide Tosi
2006 A ed.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006
ISSTA
Lori L. Pollock, Mauro Pezzè
2006 — conf
Towards self-adaptive service-oriented architectures.
TAV-WEB
Giovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling
2005 C conf
Adaptive Runtime Verification for Autonomic Communication Infrastructures.
WOWMOM
Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi
2005 J jnl
Adaptive integration of third-party web services.
ACM SIGSOFT Softw. Eng. Notes
Giovanni Denaro, Mauro Pezzè, Davide Tosi
2005 B conf
Behavior Capture and Test: Automated Analysis of Component Integration.
ICECCS
Leonardo Mariani, Mauro Pezzè
2005 J jnl
Formal interpreters for diagram notations.
ACM Trans. Softw. Eng. Methodol.
Luciano Baresi, Mauro Pezzè
2005 — conf
From Graph Transformation to Software Engineering and Back.
Formal Methods in Software and Systems Modeling
Luciano Baresi, Mauro Pezzè
2005 — ed.
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004
TACoS
Mauro Pezzè
2005 B conf
Scavenging Complex Genomic Information Using Mobile Code: An Evaluation.
ICECCS
Mauro Pezzè, Davide Tosi, Gian Pietro Picco
2004 — conf
A Technique for Verifying Component-Based Software.
TACoS
Leonardo Mariani, Mauro Pezzè
2004 — conf
An Introduction to Software Testing.
FoVMT
Luciano Baresi, Mauro Pezzè
2004 — conf
Generation of Integration Tests for Self-Testing Components.
FORTE Workshops
Leonardo Mariani, Mauro Pezzè, David Willmor
2004 — conf
Petri Nets as Semantic Domain for Diagram Notations.
PNGT@ICGT
Luciano Baresi, Mauro Pezzè
2004 — conf
Preface.
TACoS
Mauro Pezzè
2004 — conf
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems.
TACoS
Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai
2004 A* conf
Testing Object Oriented Software.
ICSE
Mauro Pezzè, Michal Young
2003 — conf
Design for Testability for Highly Reconfigurable Component-Based Systems.
TACoS
Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè
2003 B ed.
Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
FASE
Mauro Pezzè
2003 — ed.
International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003
TACoS
Mauro Pezzè
2003 — conf
Petri Nets and Software Engineering.
Lectures on Concurrency and Petri Nets
Giovanni Denaro, Mauro Pezzè
2003 — conf
Preface.
TACoS
Mauro Pezzè
2003 A* conf
Research Demonstrations and Posters.
ICSE
Bruce Schafer, Mauro Pezzè
2003 — conf
Self-Test Components for Highly Reconfigurable Systems.
TACoS
Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
2003 J jnl
Towards Industrially Relevant Fault-Proneness Models.
Int. J. Softw. Eng. Knowl. Eng.
Giovanni Denaro, Mauro Pezzè, Sandro Morasca
2002 B conf
A Toolbox for Automating Visual Software Engineering.
FASE
Luciano Baresi, Mauro Pezzè
2002 J jnl
A formal design notation for real-time systems.
ACM Trans. Softw. Eng. Methodol.
Miguel Felder, Mauro Pezzè
2002 A* conf
An empirical evaluation of fault-proneness models.
ICSE
Giovanni Denaro, Mauro Pezzè
2002 C conf
Deriving models of software fault-proneness.
SEKE
Giovanni Denaro, Sandro Morasca, Mauro Pezzè
2002 B conf
Interclass Testing of Object Oriented Software.
ICECCS
Vincenzo Martena, Alessandro Orso, Mauro Pezzè
2002 — conf
PLCTools: Graph Transformation Meets PLC Design.
GraBaTs
Luciano Baresi, Marco Mauri, Mauro Pezzè
2001 J jnl
Editorial.
Comput. Syst. Sci. Eng.
Mauro Pezzè, Sol M. Shatz
2001 — conf
Improving UML with Petri nets.
UNIGRA
Luciano Baresi, Mauro Pezzè
2001 — ed.
International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 12-13, 2001
GT-VMT@ICALP
Luciano Baresi, Mauro Pezzè, Gabriele Taentzer
2001 — conf
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001.
GT-VMT@ICALP
Luciano Baresi, Mauro Pezzè, Gabriele Taentzer
2001 — conf
Mutant Operators for Testing Concurrent Java Programs.
SBES
Márcio E. Delamaro, Mauro Pezzè, Auri M. R. Vincenzi
2001 — conf
On Formalizing UML with High-Level Petri Nets.
Concurrent Object-Oriented Programming and Petri Nets
Luciano Baresi, Mauro Pezzè
2001 — conf
Using symbolic execution for verifying safety-critical systems.
ESEC / SIGSOFT FSE
Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè
2000 A conf
Automated Testing of Classes.
ISSTA
Ugo A. Buy, Alessandro Orso, Mauro Pezzè
2000 — conf
Can Graph Grammars Make Formal Methods More Human?
ICALP Satellite Workshops
Mauro Pezzè, Luciano Baresi
2000 B conf
PLCTOOLS: design, formal validation, and code generation for programmable controllers.
SMC
Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezzè
2000 A* conf
The ICSE2000 doctoral workshop.
ICSE
Jeff Magee, Mauro Pezzè
1999 — conf
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars.
AGTIVE
Luciano Baresi, Mauro Pezzè
1998 B conf
A non-temporized approach for temporized analysis.
ECRTS
Francesco Calzolari, Mauro Pezzè
1998 J jnl
A technique for designing robotic control systems based on Petri nets.
IEEE Trans. Control. Syst. Technol.
Andrea Caloini, GianAntonio Magnani, Mauro Pezzè
1998 J jnl
Toward Formalizing Structured Analysis.
ACM Trans. Softw. Eng. Methodol.
Luciano Baresi, Mauro Pezzè
1997 A* conf
Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.
ICSE
Mauro Pezzè, Michal Young
1997 A* conf
Introducing Formal Specification Methods in Industrial Practice.
ICSE
Luciano Baresi, Alessandro Orso, Mauro Pezzè
1997 B conf
LEMMA: a language for easy medical models analysis.
CBMS
Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè
1997 J jnl
The Road to Maturity: Navigating Between Craft and Science.
IEEE Softw.
Christof Ebert, Tomoo Matsubara, Todd Webb, Mauro Pezzè, Olav W. Bertelsen
1996 B conf
A Software Architecture Approach for Designing CASE Systems.
ICECCS
Mauro Pezzè, Sergio Silva
1996 A conf
Generation of Multi-Formalism State-Space Analysis Tools.
ISSTA
Mauro Pezzè, Michal Young
1995 B conf
Customizable notations for kernel formalisms.
ICECCS
Luciano Baresi, Alessandro Orso, Mauro Pezzè
1995 J jnl
Graph Models for Reachability of Concurrent Programs.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè, Richard N. Taylor, Michal Young
1995 — conf
Property decomposition to speed up analysis.
RTS
Francesco Calzolari, Mauro Pezzè
1994 J jnl
Validating timing requirements for time basic net specifications.
J. Syst. Softw.
Carlo Ghezzi, Sandro Morasca, Mauro Pezzè
1993 A conf
Analyzing Refinements of State Based Specifications: The Case of TB Nets.
ISSTA
Miguel Felder, Carlo Ghezzi, Mauro Pezzè
1993 J jnl
Giving Semantics to SA/RT by Means of High-Level Times Petri Nets.
Real Time Syst.
René Elmstrøm, Raino Lintulampi, Mauro Pezzè
1993 J jnl
High-Level Timed Petri Nets as a Kernel for Executable Specifications.
Real Time Syst.
Miguel Felder, Carlo Ghezzi, Mauro Pezzè
1993 — conf
Merlot: A Tool for Analysis of Real-Time Specifications.
IWSSD
Carlo Bellettini, Miguel Felder, Mauro Pezzè
1993 — ch.
Parallel Execution of Real-Time Petri Nets.
Advances in Software Engineering and Knowledge Engineering
Carlo Ghezzi, Mauro Pezzè, Kim Portman
1993 — conf
Towards Extensible Graphical Formalisms.
IWSSD
Carlo Ghezzi, Mauro Pezzè
1992 — conf
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems.
NATO ASI RTC
Miguel Felder, Carlo Ghezzi, Mauro Pezzè
1991 J jnl
A Unified High-Level Petri Net Formalism for Time-Critical Systems.
IEEE Trans. Software Eng.
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
1991 J jnl
Timed High-Level Nets.
Real Time Syst.
Sandro Morasca, Mauro Pezzè, Marco Trubian
1989 — conf
A general way to put time in Petri nets.
IWSSD
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
1989 J jnl
Symbolic Execution of Concurrent Systems Using Petri Nets.
Comput. Lang.
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
1989 — conf
Validation of Concurrent ADA Programs using Symbolic Execution.
ESEC
Sandro Morasca, Mauro Pezzè
1987 — conf
On the Role of Software Reliability in Software Engineering.
Software Reliability Modelling and Identification
Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè
1986 A* conf
Voice and data performance measurements in L-express net.
SIGCOMM
Flaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezzè