default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMauro Pezzè
Person information
- affiliation: University of Lugano, Switzerland
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j63]Farideh Khalili, Leonardo Mariani, Ali Mohebbi
, Mauro Pezzè, Valerio Terragni:
Semantic matching in GUI test reuse. Empir. Softw. Eng. 29(3): 70 (2024)- [j62]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: 112115 (2024) - [j61]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): 1960-1981 (2024) - [j60]Mauro Pezzè, Matteo Ciniselli, Luca Di Grazia, Niccolò Puccinelli, Ketai Qiu:
The Trailer of the ACM 2030 Roadmap for Software Engineering. ACM SIGSOFT Softw. Eng. Notes 49(4): 31-40 (2024) - [j59]Mauro Pezzè:
Editorial: Toward the Future with Eight Issues Per Year. ACM Trans. Softw. Eng. Methodol. 33(1): 1e:1-1e:2 (2024) - [j58]Mauro Pezzè:
Editorial: ICSE and the Incredible Contradictions of Software Engineering. ACM Trans. Softw. Eng. Methodol. 33(4): 83:1-83:2 (2024) - 2023
- [j57]Mauro Pezzè:
EDITORIAL: Announcing Six TOSEM Issues Per Year. ACM Trans. Softw. Eng. Methodol. 32(1): 1:1-1:2 (2023) - [j56]Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè:
Prevent: An Unsupervised Approach to Predict Software Failures in Production. IEEE Trans. Software Eng. 49(12): 5139-5153 (2023) - 2022
- [j55]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): 92:1-92:39 (2022) - [j54]Mauro Pezzè:
Editorial: A Retrospective and Prospective Reflection. ACM Trans. Softw. Eng. Methodol. 31(2): 18e:1-18e:2 (2022) - [c133]Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler:
Testing Software in Production Environments with Data from the Field. ICST 2022: 58-69 - [c132]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: 560-564 - [c131]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: 19:1-19:11 - [c130]Mauro Pezzè:
Machine learning and natural language processing for automating software testing (tutorial). ESEC/SIGSOFT FSE 2022: 1821 - [i10]Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè:
PREVENT: An Unsupervised Approach to Predict Software Failures in Production. CoRR abs/2208.11939 (2022) - 2021
- [j53]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: 110933 (2021) - [j52]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: 111041 (2021) - [j51]Valerio Terragni, Mauro Pezzè:
Statically driven generation of concurrent tests for thread-safe classes. Softw. Test. Verification Reliab. 31(4) (2021) - [j50]Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 30(3): 26e:1 (2021) - [j49]Andrea Aquino, Giovanni Denaro, Mauro Pezzè:
Reusing Solutions Modulo Theories. IEEE Trans. Software Eng. 47(5): 948-968 (2021) - [c129]Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas:
An Evolutionary Approach to Adapt Tests Across Mobile Apps. AST@ICSE 2021: 70-79 - [c128]Valerio Terragni, Gunel Jahangirova, Mauro Pezzè, Paolo Tonella:
Improving assertion oracles with evolutionary computation. GECCO Companion 2021: 45-46 - [c127]Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè:
GAssert: A Fully Automated Tool to Improve Assertion Oracles. ICSE (Companion Volume) 2021: 85-88 - [c126]Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni:
Semantic matching of GUI events for test reuse: are we there yet? ISSTA 2021: 177-190 - [c125]Noura El Moussa, Davide Molinelli, Mauro Pezzè, Martin Tappler:
Health of smart ecosystems. ESEC/SIGSOFT FSE 2021: 1491-1494 - [i9]Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè:
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned. CoRR abs/2103.00465 (2021) - [i8]Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè:
GAssert: A Fully Automated Tool to Improve Assertion Oracles. CoRR abs/2103.02901 (2021) - [i7]Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas:
An Evolutionary Approach to Adapt Tests Across Mobile Apps. CoRR abs/2104.05233 (2021) - 2020
- [j48]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Predicting failures in multi-tier distributed systems. J. Syst. Softw. 161 (2020) - [j47]Mauro Pezzè:
Peer Review: Trust and Prejudice. ACM SIGSOFT Softw. Eng. Notes 45(4): 19-21 (2020) - [j46]Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 29(2): 8e:1 (2020) - [j45]Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 29(3): 14e:1 (2020) - [c124]Valerio Terragni, Pasquale Salza, Mauro Pezzè:
Measuring Software Testability Modulo Test Quality. ICPC 2020: 241-251 - [c123]Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè:
Evolutionary improvement of assertion oracles. ESEC/SIGSOFT FSE 2020: 1178-1189
2010 – 2019
- 2019
- [j44]Mauro Pezzè:
Editorial from the Incoming Editor-in-Chief. ACM Trans. Softw. Eng. Methodol. 28(1) (2019) - [j43]Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 28(2) (2019) - [j42]Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 28(3): 12 (2019) - [j41]Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 28(4) (2019) - [c122]Cristina Monni, Mauro Pezzè:
Energy-based anomaly detection a new perspective for predicting software failures. ICSE (NIER) 2019: 69-72 - [c121]Cristina Monni, Mauro Pezzè, Gaetano Prisco:
An RBM Anomaly Detector for the Cloud. ICST 2019: 148-159 - [c120]Valerio Terragni, Mauro Pezzè, Francesco Adalberto Bianchi:
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies. ICST 2019: 264-275 - [c119]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 - [i6]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Predicting Failures in Multi-Tier Distributed Systems. CoRR abs/1911.09561 (2019) - 2018
- [j40]Francesco Adalberto Bianchi, Alessandro Margara, Mauro Pezzè:
A Survey of Recent Trends in Testing Concurrent Software Systems. IEEE Trans. Software Eng. 44(8): 747-783 (2018) - [c118]Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè:
SUSHI: a test generator for programs with complex structured inputs. ICSE (Companion Volume) 2018: 21-24 - [c117]Leonardo Mariani, Mauro Pezzè, Daniele Zuddas:
Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles. ICSE 2018: 280-290 - [c116]Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Localizing Faults in Cloud Systems. ICST 2018: 262-273 - [c115]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: 54-62 - [c114]Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos:
Translating code comments to procedure specifications. ISSTA 2018: 242-253 - [c113]Valerio Terragni, Mauro Pezzè:
Effectiveness and challenges in generating concurrent tests for thread-safe classes. ASE 2018: 64-75 - [i5]Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Localizing Faults in Cloud Systems. CoRR abs/1803.00356 (2018) - 2017
- [j39]Leonardo Mariani, Mauro Pezzè, Mauro Santoro:
GK-Tail+ An Efficient Approach to Learn Software Models. IEEE Trans. Software Eng. 43(8): 715-738 (2017) - [c112]Andrea Aquino, Giovanni Denaro, Mauro Pezzè:
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. ICSE 2017: 427-437 - [c111]Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
An Exploratory Study of Field Failures. ISSRE 2017: 67-77 - [c110]Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè:
Combining symbolic execution and search-based testing for programs with complex heap inputs. ISSTA 2017: 90-101 - [c109]Francesco A. Bianchi, Mauro Pezzè, Valerio Terragni:
Reproducing concurrency failures from crash stacks. ESEC/SIGSOFT FSE 2017: 705-716 - [p3]Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè:
Intrinsic Redundancy for Reliability and Beyond. Present and Ulterior Software Engineering 2017: 153-171 - [i4]Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
An Exploratory Study of Field Failures. CoRR abs/1708.09494 (2017) - 2016
- [j38]Mauro Pezzè, Jochen Wuttke:
Model-driven generation of runtime checks for system properties. Int. J. Softw. Tools Technol. Transf. 18(1): 1-19 (2016) - [j37]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): 107-125 (2016) - [j36]Alessio Gambi, Mauro Pezzè, Giovanni Toffetti:
Kriging-Based Self-Adaptive Cloud Controllers. IEEE Trans. Serv. Comput. 9(3): 368-381 (2016) - [j35]Mauro Baluda, Giovanni Denaro, Mauro Pezzè:
Bidirectional Symbolic Analysis for Effective Branch Testing. IEEE Trans. Software Eng. 42(5): 403-426 (2016) - [c108]Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè:
Automatic generation of oracles for exceptional behaviors. ISSTA 2016: 213-224 - [c107]Pietro Braione, Giovanni Denaro, Mauro Pezzè:
JBSE: a symbolic executor for Java programs with complex heap inputs. SIGSOFT FSE 2016: 1018-1022 - 2015
- [j34]Mauro Pezzè, Cheng Zhang:
Automated Test Oracles: A Survey. Adv. Comput. 95: 1-48 (2015) - [j33]Leonardo Mariani, Mauro Pezzè, Daniele Zuddas:
Recent Advances in Automatic Black-Box Testing. Adv. Comput. 99: 157-193 (2015) - [j32]Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè:
Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications. ACM Trans. Softw. Eng. Methodol. 24(3): 16:1-16:42 (2015) - [j31]Mark Harman, Mauro Pezzè:
Introduction to the Special Issue on ISSTA 2013. ACM Trans. Softw. Eng. Methodol. 24(4): 21:1-21:3 (2015) - [c106]Gianpaolo Cugola, Alessandro Margara, Mauro Pezzè, Matteo Pradella:
Efficient analysis of event processing applications. DEBS 2015: 10-21 - [c105]Mauro Pezzè:
Towards Cost-Effective Oracles. AST@ICSE 2015: 1-2 - [c104]Alessandro Margara, Mauro Pezzè, Igor V. Pivkin, Mauro Santoro:
Towards an Engineering Methodology for Multi-model Scientific Simulations. SE4HPCS@ICSE 2015: 51-55 - [c103]Antonio Carzaniga, Andrea Mattavelli, Mauro Pezzè:
Measuring Software Redundancy. ICSE (1) 2015: 156-166 - [c102]Giovanni Denaro, Alessandro Margara, Mauro Pezzè, Mattia Vivanti:
Dynamic Data Flow Testing of Object Oriented Systems. ICSE (1) 2015: 947-958 - [c101]Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè:
Reusing constraint proofs in program analysis. ISSTA 2015: 305-315 - [c100]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: 129-130 - [c99]Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Symbolic execution of programs with heap inputs. ESEC/SIGSOFT FSE 2015: 602-613 - 2014
- [j30]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
Automatic testing of GUI-based applications. Softw. Test. Verification Reliab. 24(5): 341-366 (2014) - [j29]Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè:
Automatic test case evolution. Softw. Test. Verification Reliab. 24(5): 386-411 (2014) - [j28]Gail C. Murphy, Mauro Pezzè:
Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012). ACM Trans. Softw. Eng. Methodol. 23(4): 28:1-28:2 (2014) - [c98]Carlo Ghezzi, Mauro Pezzè, Michele Sama, Giordano Tamburrelli:
Mining behavior models from user-intensive web applications. ICSE 2014: 277-287 - [c97]Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè:
Cross-checking oracles from intrinsic software redundancy. ICSE 2014: 931-942 - [c96]Giovanni Denaro, Mauro Pezzè, Mattia Vivanti:
On the Right Objectives of Data Flow Testing. ICST 2014: 71-80 - [c95]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
Link: exploiting the web of data to generate test inputs. ISSTA 2014: 373-384 - [c94]Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, Paolo Tonella:
Search-based synthesis of equivalent method sequences. SIGSOFT FSE 2014: 366-376 - 2013
- [j27]Alessio Gambi, Giovanni Toffetti, Cesare Pautasso, Mauro Pezzè:
Kriging Controllers for Cloud Applications. IEEE Internet Comput. 17(4): 40-47 (2013) - [j26]Giovanni Denaro, Mauro Pezzè, Davide Tosi:
Test-and-adapt: An approach for improving service interchangeability. ACM Trans. Softw. Eng. Methodol. 22(4): 28:1-28:43 (2013) - [j25]Hervé Chang, Leonardo Mariani, Mauro Pezzè:
Exception handlers for healing component-based systems. ACM Trans. Softw. Eng. Methodol. 22(4): 30:1-30:40 (2013) - [j24]Giovanni Toffetti, Mauro Pezzè:
Graph transformations and software engineering: Success stories and lost chances. J. Vis. Lang. Comput. 24(3): 207-217 (2013) - [c93]Giovanni Denaro, Mauro Pezzè, Mattia Vivanti:
Quantifying the complexity of dataflow testing. AST 2013: 132-138 - [c92]Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè:
Automatic recovery from runtime failures. ICSE 2013: 782-791 - [c91]Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli:
Improving Interaction with Services via Probabilistic Piggybacking. ICSOC 2013: 39-53 - [c90]Mauro Pezzè, Konstantin Rubinov, Jochen Wuttke:
Generating Effective Integration Test Cases from Unit Ones. ICST 2013: 11-20 - [c89]Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli:
Adaptive REST applications via model inference and probabilistic model checking. IM 2013: 1376-1382 - [c88]Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization. ESEC/SIGSOFT FSE 2013: 411-421 - [p2]Alessio Gambi, Giovanni Toffetti, Mauro Pezzè:
Assurance of Self-adaptive Controllers for the Cloud. Assurances for Self-Adaptive Systems 2013: 311-339 - [e9]Mauro Pezzè, Mark Harman:
International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. ACM 2013, ISBN 978-1-4503-2159-4 [contents] - 2012
- [c87]Mauro Pezzè:
From off-Line to continuous on-line maintenance. ICSM 2012: 2-3 - [c86]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. ICST 2012: 81-90 - [c85]Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè:
Supporting Test Suite Evolution through Test Case Adaptation. ICST 2012: 231-240 - [e8]Martin Glinz, Gail C. Murphy, Mauro Pezzè:
34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. IEEE Computer Society 2012, ISBN 978-1-4673-1067-3 [contents] - 2011
- [j23]Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Enhancing structural software coverage by incrementally computing branch executability. Softw. Qual. J. 19(4): 725-751 (2011) - [j22]Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
Dynamic Analysis for Diagnosing Integration Faults. IEEE Trans. Software Eng. 37(4): 486-508 (2011) - [c84]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
AutoBlackTest: a tool for automatic black-box testing. ICSE 2011: 1013-1015 - [i3]Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller:
Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports 1(2): 16-29 (2011) - 2010
- [j21]Alessandra Gorla, Mauro Pezzè, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore:
Achieving Cost-Effective Software Reliability Through Self-Healing. Comput. Informatics 29(1): 93-115 (2010) - [c83]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:
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32 - [c82]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: 108-132 - [c81]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
SEIM: static extraction of interaction models. PESOS 2010: 22-28 - [c80]Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Structural coverage of feasible code. AST 2010: 59-66 - [c79]Alessio Gambi, Giovanni Toffetti, Mauro Pezzè:
Protecting SLAs with surrogate models. PESOS 2010: 71-77 - [c78]Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè:
RAW: runtime automatic workarounds. ICSE (2) 2010: 321-322 - [c77]Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor:
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448 - [c76]Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè:
Automatically repairing test cases for evolving method declarations. ICSM 2010: 1-5 - [c75]Giovanni Toffetti, Alessio Gambi, Mauro Pezzè, Cesare Pautasso:
Engineering Autonomic Controllers for Virtualized Web Applications. ICWE 2010: 66-80 - [c74]Pietro Braione, Giovanni Denaro, Mauro Pezzè:
On the Integration of Software Testing and Formal Analysis. LASER Summer School 2010: 158-193 - [c73]Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè:
Automatic workarounds for web applications. SIGSOFT FSE 2010: 237-246 - [e7]Rogério de Lemos, Mauro Pezzè:
2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2010, Cape Town, South Africa, May 3-4, 2010. ACM 2010 [contents] - [i2]Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam A. Porter, John Penix, Per Runeson, Shin Yoo:
Introducing Continuous Systematic Testing of Evolving Software. Practical Software Testing: Tool Automation and Human Factors 2010 - [i1]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:
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010
2000 – 2009
- 2009
- [j20]Davide Tosi, Giovanni Denaro, Mauro Pezzè:
Towards autonomic service-oriented applications. Int. J. Auton. Comput. 1(1): 58-80 (2009) - [c72]Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger M. Kienle, Marin Litoiu, Hausi A. Müller, Mauro Pezzè, Mary Shaw:
Engineering Self-Adaptive Systems through Feedback Loops. Software Engineering for Self-Adaptive Systems 2009: 48-70 - [c71]Mauro Pezzè, Jochen Wuttke:
Automatic Generation of Runtime Failure Detectors from Property Templates. Software Engineering for Self-Adaptive Systems 2009: 223-240 - [c70]Alessio Gambi, Mauro Pezzè, Michal Young:
SLA Protection models for virtualized data centers. SEAMS 2009: 10-19 - [c69]Hervé Chang, Leonardo Mariani, Mauro Pezzè:
In-field healing of integration problems with COTS components. ICSE 2009: 166-176 - [c68]Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf:
Toward deeply adaptive societies of digital systems. ICSE Companion 2009: 331-334 - [c67]Mauro Pezzè, Jochen Wuttke:
LuMiNous - model-driven assertion generation for runtime failure detection. ICSE Companion 2009: 411-412 - [c66]Giovanni Denaro, Alessandra Gorla, Mauro Pezzè:
DaTeC: Contextual data flow testing of java classes. ICSE Companion 2009: 421-422 - [c65]Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
A toolset for automated failure analysis. ICSE 2009: 563-566 - [c64]Giovanni Denaro, Mauro Pezzè, Davide Tosi:
Ensuring interoperable service-oriented systems through engineered self-healing. ESEC/SIGSOFT FSE 2009: 253-262 - [c63]David Lo, Leonardo Mariani, Mauro Pezzè:
Automatic steering of behavioral model inference. ESEC/SIGSOFT FSE 2009: 345-354 - 2008
- [j19]Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè:
Healing Web applications through automatic workarounds. Int. J. Softw. Tools Technol. Transf. 10(6): 493-502 (2008) - [j18]David Notkin, Mauro Pezzè:
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006). ACM Trans. Softw. Eng. Methodol. 17(2): 6:1-6:2 (2008) - [c62]Giovanni Denaro, Alessandra Gorla, Mauro Pezzè:
Contextual Integration Testing of Classes. FASE 2008: 246-260 - [c61]Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406 - [c60]Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè:
Self-healing by means of automatic workarounds. SEAMS 2008: 17-24 - [c59]Hausi A. Müller, Mauro Pezzè, Mary Shaw:
Visibility of control in adaptive systems. ULSSIS@ICSE 2008: 23-26 - [c58]Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè:
Handling Software Faults with Redundancy. WADS 2008: 148-171 - [c57]Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè:
Automatic generation of software behavioral models. ICSE 2008: 501-510 - [c56]Hervé Chang, Leonardo Mariani, Mauro Pezzè:
Self-healing strategies for component integration faults. ASE Workshops 2008: 25-32 - 2007
- [b1]Mauro Pezzè, Michal Young:
Software testing and analysis - process, principles and techniques. Wiley 2007, ISBN 978-0-471-45593-6, pp. I-XXII, 1-488 - [j17]Leonardo Mariani, Mauro Pezzè:
Dynamic Detection of COTS Component Incompatibility. IEEE Softw. 24(5): 76-85 (2007) - [j16]Mauro Pezzè:
Introduction to the special section on FASE 2003. Int. J. Softw. Tools Technol. Transf. 9(2): 133-134 (2007) - [c55]Giovanni Denaro, Mauro Pezzè, Davide Tosi:
Designing Self-Adaptive Service-Oriented Applications. ICAC 2007: 16 - [c54]Giovanni Denaro, Mauro Pezzè, Davide Tosi:
SHIWS: A Self-Healing Integrator for Web Services. ICSE Companion 2007: 55-56 - [c53]Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè:
Compatibility and Regression Testing of COTS-Component-Based Software. ICSE 2007: 85-95 - [c52]Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè:
Towards Self-Protecting Enterprise Applications. ISSRE 2007: 39-48 - [c51]Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456 - [c50]Giovanni Denaro, Mauro Pezzè, Onn Shehory:
SOQUA 2007: 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE 2007: 615-616 - [e6]Mauro Pezzè:
Fourth International Workshop on Software Quality Assurance, SOQUA 2007, in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, 2007. ACM 2007, ISBN 978-1-59593-724-7 [contents] - 2006
- [c49]Davide Lorenzoli, Mauro Pezzè, Stefano Mussino, Andrea Sichel, Davide Tosi:
A SOA based Self-Adaptive PERSONAL MOBILITY MANAGER. IEEE SCC 2006: 479-486 - [c48]Giovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling:
Towards self-adaptive service-oriented architectures. TAV-WEB 2006: 10-16 - [e5]Lori L. Pollock, Mauro Pezzè:
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. ACM 2006, ISBN 1-59593-263-1 [contents] - 2005
- [j15]Giovanni Denaro, Mauro Pezzè, Davide Tosi:
Adaptive integration of third-party web services. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-6 (2005) - [j14]Luciano Baresi, Mauro Pezzè:
Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1): 42-84 (2005) - [c47]Luciano Baresi, Mauro Pezzè:
From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling 2005: 24-37 - [c46]Leonardo Mariani, Mauro Pezzè:
Behavior Capture and Test: Automated Analysis of Component Integration. ICECCS 2005: 292-301 - [c45]Mauro Pezzè, Davide Tosi, Gian Pietro Picco:
Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. ICECCS 2005: 569-578 - [c44]Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi:
Adaptive Runtime Verification for Autonomic Communication Infrastructures. WOWMOM 2005: 553-557 - [e4]Mauro Pezzè:
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 116, Elsevier 2005 [contents] - 2004
- [c43]Leonardo Mariani, Mauro Pezzè, David Willmor:
Generation of Integration Tests for Self-Testing Components. FORTE Workshops 2004: 337-350 - [c42]Mauro Pezzè, Michal Young:
Testing Object Oriented Software. ICSE 2004: 739-740 - [c41]Mauro Pezzè:
Preface. TACoS 2004: 1-2 - [c40]Leonardo Mariani, Mauro Pezzè:
A Technique for Verifying Component-Based Software. TACoS 2004: 17-30 - [c39]Luciano Baresi, Mauro Pezzè:
Petri Nets as Semantic Domain for Diagram Notations. PNGT@ICGT 2004: 29-44 - [c38]Luciano Baresi, Mauro Pezzè:
An Introduction to Software Testing. FoVMT 2004: 89-111 - [c37]Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai:
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. TACoS 2004: 113-131 - 2003
- [j13]Giovanni Denaro, Mauro Pezzè, Sandro Morasca:
Towards Industrially Relevant Fault-Proneness Models. Int. J. Softw. Eng. Knowl. Eng. 13(4): 395-417 (2003) - [c36]Giovanni Denaro, Mauro Pezzè:
Petri Nets and Software Engineering. Lectures on Concurrency and Petri Nets 2003: 439-466 - [c35]Bruce Schafer, Mauro Pezzè:
Research Demonstrations and Posters. ICSE 2003: 800-801 - [c34]Giovanni Denaro, Leonardo Mariani, Mauro Pezzè:
Self-Test Components for Highly Reconfigurable Systems. TACoS 2003: 89-98 - [c33]Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè:
Design for Testability for Highly Reconfigurable Component-Based Systems. TACoS 2003: 199-208 - [c32]Mauro Pezzè:
Preface. TACoS 2003: 209-210 - [e3]Mauro Pezzè:
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. Lecture Notes in Computer Science 2621, Springer 2003, ISBN 3-540-00899-3 [contents] - [e2]Mauro Pezzè:
International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(6), Elsevier 2003 [contents] - 2002
- [j12]Miguel Felder, Mauro Pezzè:
A formal design notation for real-time systems. ACM Trans. Softw. Eng. Methodol. 11(2): 149-190 (2002) - [c31]Luciano Baresi, Mauro Pezzè:
A Toolbox for Automating Visual Software Engineering. FASE 2002: 189-202 - [c30]Vincenzo Martena, Alessandro Orso, Mauro Pezzè:
Interclass Testing of Object Oriented Software. ICECCS 2002: 135-144 - [c29]Giovanni Denaro, Mauro Pezzè:
An empirical evaluation of fault-proneness models. ICSE 2002: 241-251 - [c28]Giovanni Denaro, Sandro Morasca, Mauro Pezzè:
Deriving models of software fault-proneness. SEKE 2002: 361-368 - [c27]Luciano Baresi, Marco Mauri, Mauro Pezzè:
PLCTools: Graph Transformation Meets PLC Design. GraBaTs 2002: 79 - 2001
- [j11]Mauro Pezzè, Sol M. Shatz:
Editorial. Comput. Syst. Sci. Eng. 16(3): 151-152 (2001) - [c26]Luciano Baresi, Mauro Pezzè:
On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 276-304 - [c25]Márcio E. Delamaro, Mauro Pezzè, Auri M. R. Vincenzi:
Mutant Operators for Testing Concurrent Java Programs. SBES 2001: 272-285 - [c24]Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè:
Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151 - [c23]Luciano Baresi, Mauro Pezzè:
Improving UML with Petri nets. UNIGRA 2001: 107-119 - [c22]Luciano Baresi, Mauro Pezzè, Gabriele Taentzer:
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. GT-VMT@ICALP 2001: 325-326 - [e1]Luciano Baresi, Mauro Pezzè, Gabriele Taentzer:
International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 12-13, 2001. Electronic Notes in Theoretical Computer Science 50(3), Elsevier 2001 [contents] - 2000
- [c21]Mauro Pezzè, Luciano Baresi:
Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops 2000: 387-394 - [c20]Jeff Magee, Mauro Pezzè:
The ICSE2000 doctoral workshop. ICSE 2000: 697 - [c19]Ugo A. Buy, Alessandro Orso, Mauro Pezzè:
Automated Testing of Classes. ISSTA 2000: 39-48 - [c18]Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezzè:
PLCTOOLS: design, formal validation, and code generation for programmable controllers. SMC 2000: 2437-2442
1990 – 1999
- 1999
- [c17]Luciano Baresi, Mauro Pezzè:
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. AGTIVE 1999: 193-208 - 1998
- [j10]Andrea Caloini, GianAntonio Magnani, Mauro Pezzè:
A technique for designing robotic control systems based on Petri nets. IEEE Trans. Control. Syst. Technol. 6(1): 72-87 (1998) - [j9]Luciano Baresi, Mauro Pezzè:
Toward Formalizing Structured Analysis. ACM Trans. Softw. Eng. Methodol. 7(1): 80-107 (1998) - [c16]Francesco Calzolari, Mauro Pezzè:
A non-temporized approach for temporized analysis. ECRTS 1998: 154-161 - 1997
- [j8]Christof Ebert, Tomoo Matsubara, Todd Webb, Mauro Pezzè, Olav W. Bertelsen:
The Road to Maturity: Navigating Between Craft and Science. IEEE Softw. 14(6): 77-82 (1997) - [c15]Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè:
LEMMA: a language for easy medical models analysis. CBMS 1997: 244-249 - [c14]Luciano Baresi, Alessandro Orso, Mauro Pezzè:
Introducing Formal Specification Methods in Industrial Practice. ICSE 1997: 56-66 - [c13]Mauro Pezzè, Michal Young:
Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. ICSE 1997: 239-249 - 1996
- [c12]Mauro Pezzè, Sergio Silva:
A Software Architecture Approach for Designing CASE Systems. ICECCS 1996: 47-50 - [c11]Mauro Pezzè, Michal Young:
Generation of Multi-Formalism State-Space Analysis Tools. ISSTA 1996: 172-179 - 1995
- [j7]Mauro Pezzè, Richard N. Taylor, Michal Young:
Graph Models for Reachability of Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 4(2): 171-213 (1995) - [c10]Francesco Calzolari, Mauro Pezzè:
Property decomposition to speed up analysis. RTS 1995: 147-154 - [c9]Luciano Baresi, Alessandro Orso, Mauro Pezzè:
Customizable notations for kernel formalisms. ICECCS 1995: 43- - 1994
- [j6]Carlo Ghezzi, Sandro Morasca, Mauro Pezzè:
Validating timing requirements for time basic net specifications. J. Syst. Softw. 27(2): 97-117 (1994) - 1993
- [j5]Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
High-Level Timed Petri Nets as a Kernel for Executable Specifications. Real Time Syst. 5(2-3): 235-248 (1993) - [j4]René Elmstrøm, Raino Lintulampi, Mauro Pezzè:
Giving Semantics to SA/RT by Means of High-Level Times Petri Nets. Real Time Syst. 5(2-3): 249-271 (1993) - [c8]Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA 1993: 28-39 - [c7]Carlo Ghezzi, Mauro Pezzè:
Towards Extensible Graphical Formalisms. IWSSD 1993: 69-77 - [c6]Carlo Bellettini, Miguel Felder, Mauro Pezzè:
Merlot: A Tool for Analysis of Real-Time Specifications. IWSSD 1993: 110-119 - [p1]Carlo Ghezzi, Mauro Pezzè, Kim Portman:
Parallel Execution of Real-Time Petri Nets. Advances in Software Engineering and Knowledge Engineering 1993: 135-157 - 1992
- [c5]Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems. NATO ASI RTC 1992: 187-211 - 1991
- [j3]Sandro Morasca, Mauro Pezzè, Marco Trubian:
Timed High-Level Nets. Real Time Syst. 3(2): 165-189 (1991) - [j2]Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè:
A Unified High-Level Petri Net Formalism for Time-Critical Systems. IEEE Trans. Software Eng. 17(2): 160-172 (1991)
1980 – 1989
- 1989
- [j1]Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè:
Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14(4): 263-281 (1989) - [c4]Sandro Morasca, Mauro Pezzè:
Validation of Concurrent ADA Programs using Symbolic Execution. ESEC 1989: 469-486 - [c3]Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè:
A general way to put time in Petri nets. IWSSD 1989: 60-67 - 1987
- [c2]Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè:
On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification 1987: 1-40 - 1986
- [c1]Flaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezzè:
Voice and data performance measurements in L-express net. SIGCOMM 1986: 120-125
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
