Self-healing and self-adaptive systems

I was among the first who recognized the importance of autonomic computing. I contributed to shaping the research agenda of the field over fifteen years ago. The over 2,100 citations of the roadmap paper and 800 cumulative citations to the two papers that define core research directions towards feedback loops and control visibility witness my contribution to this research area. 

My work on automatic workaround that exploits the intrinsic redundancy of software systems for designing self-healing systems opened a relevant research trend in self-healing software systems [110]. The over 400 cumulative citations of a series of papers from 2008 to today, the invitations as keynote speaker at ICSM-2012, QSIC-2013, and AST-2015 indicate the impact of the results.

Code modeling and specification mining

I have studied models of software systems for over three decades. My work on introducing time in Petri nets has had a significant impact on the analysis of time-critical systems. With 470 citations, my 1991 paper [70] is one of the most cited papers on the topic of time Petri nets. I understood the importance of learning models of the software behavior from execution over fifteen years ago. My work on the dynamic inference of behavioral models impacted the research, as witnessed by the over 540 citations to my ICSE-2008 paper [139] that make it the second-best cited paper of ICSE-2008, and the most cited paper on automatic generation of software behavior.

I also developed an approach to modeling users’ interactions with web applications using a probabilistic Markov chain. The impact of this work is evidenced by the over 140 cumulative citations received by my ICSE-2014 [106][33] and IEEE-TSE-2016 papers. 

My recent work on translating comments into executable specifications using natural language processing and contextual information is already having an impact on the community, with over 100 cumulative citations to the papers.

Software testing

I studied approaches to generate test suites for software systems automatically and was among the first to explore the testing of classes. My paper on automated testing of classes [161] is among the most cited papers on the testing of classes.

In addition, I also developed ABT [46], an approach to generate test cases for interactive applications by combining reinforcement learning and recurrent interaction patterns. I have also analyzed the fault proneness of software modules with principal component analysis [154], which has become one of the most cited papers in the field.

Furthermore, I have studied an approach to adapt test cases in evolving systems. The over 170 cumulative citations of the representative papers, and the invitation as keynote speaker at SSBSE-2014 is a testament to the community’s interest in my research.

Finally, I developed Cross Checking Oracles, an approach to automatically generate semantically relevant oracles from the intrinsic redundancy of software systems. The results show that exploiting software redundancy can significantly improve software quality, as evidenced by the 500 cumulative citations of the papers on applications of redundancy to engineering systems.

Books

[1] Mauro Pezzè, and Michal Young, “Software Testing and Analysis: Process, Principles and Techniques”, John Wiley, 2007. ISBN: 0471455938.

Edited books

[2] Mark Harman, and Mauro Pezzè, eds., Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2013, July 15-20, 2013, Lugano, Switzerland. ACM, 2013.

[3] Martin Glinz, Gail C. Murphy, and Mauro Pezzè, eds., Proceedings of the 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. IEEE, 2012. 

[4] Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller, eds., Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports 1(2): 16-29 (2011)

[5] Rogério de Lemos and Mauro Pezzè, eds., Proceedings of the Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2010, Cape Town, South Africa, May 3-4, 2010.

[6] Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam A. Porter, John Penix, Per Runeson, Shin Yoo, edt.. Introducing Continuous Systematic Testing of Evolving Software. Practical Software Testing: Tool Automation and Human Factors, Dagstuhl Report 2010

[7] Mauro Pezzè, editor, Proceedings of the 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.

[8] Lori L. Pollock and Mauro Pezzè, eds., 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.

[9] Mauro Pezzè editor, Fundamental Approaches to Software Engineering, Proceedings of the 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. Lecture Notes in Computer Science 2621, Springer 2003, ISBN 3-540-00899-3.

Chapters in edited books

[10] Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, and Mauro Pezzè, Intrinsic Redundancy for Reliability and Beyond”. In: Present and Ulterior Software Engineering, Ed. by Manuel Mazzara and Bertrand Meyer. Springer 2017, ISBN 978-3-319-67424-7. pp 153-171.

[11] Alessio Gambi, Giovanni Toffetti, and Mauro Pezzè, “Assurance of Self-adaptive Controllers for the Cloud”. In: Assurances for Self-Adaptive Systems, Ed. by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes: Lecture Notes in Computer Science 7740, Springer 2013, ISBN 978-3-642-36248-4. pp. 311-339.

[12] Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè, and Mauro Santoro. “Mining Finite-State Automata with Annotations”. In: Mining Software Specifications: Methodologies and Applications. Ed. by David Lo, S.-C. Khoo, J. Han, and C. Liu. Data Mining and Knowledge Discovery. CRC Press, 2011, pp. 29–57.

[13] 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”. In: Software Engineering for Self-Adaptive Systems 2010 - International Seminar, Dagstuhl Castle, Germany, Revised Selected and Invited Papers.  pp: 1-32.

[14] 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, and Kenny Wong, “Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems”. In: Software Engineering for Self-Adaptive Systems 2010 - International Seminar, Dagstuhl Castle, Germany, Revised Selected and Invited Papers. 2010. pp. 108–132.

[15] Yuriy Brun, Giovanna Marzo Serugendo, Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, Hausi Müller, Mauro Pezzè, Mary Shaw. “Engineering Self-Adaptive Systems through Feedback Loops”. In: Software Engineering for Self-Adaptive Systems 2009 - International Seminar, Dagstuhl Castle 2009, Germany, Revised Selected and Invited Papers. pp. 48–70.

[16] Antonio Carzaniga, Alessandra Gorla, and Mauro Pezzè. “Handling Software Faults with Redundancy”. In: Architecting Dependable Systems VI. Ed. by R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci, and M. H. ter Beek. Lecture Notes in Computer Science. Springer, 2009, pp. 148–171.

[17] Mauro Pezzè, and Jochen Wuttke. “Automatic Generation of Runtime Failure Detectors from Property Templates”. In: Software Engineering for Self-Adaptive Systems. Ed. by Betty H. Cheng, Rogério Lemos, Holger Giese, Paola Inverardi, and Jeff Magee. Springer, 2009, pp. 223-240.

[18] Leonardo Mariani, and Mauro Pezzè. “Testing Object Oriented Software”. In: Emerging Methods, Technologies and Process Management in Software Engineering. Ed. by A. De Lucia, F. Ferrucci, G. Tortora, and M. Tucci. Wiley-IEEE Press, 2008, pp. 85–108.

[19] Antonio Carzaniga, Alessandra Gorla, and Mauro Pezzè. “Handling Software Faults with Redundancy”. In: Architecting Dependable Systems VI. Ed. by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice ter Beek. 2008, pp. 148–171.

[20] Luciano Baresi and Mauro Pezzè. “From Graph Transformation to Software Engineering and Back”. In: Formal Methods in Software and Systems Modeling. Ed. by H. J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G., Taentzer, Springer, 2005, pp. 24–37.

[21] Giovanni Denaro and Mauro Pezzè. “Petri Nets and Software Engineering”. In: Lectures on Concurrency and Petri Nets. Ed. by J. Desel, W. Reisig, and G. Rozenberg. Springer, 2004, pp. 439–466.

[22] Luciano Baresi and Mauro Pezzè. “On Formalizing UML with High-Level Petri Nets”. In: Concurrent object-oriented programming and Petri nets. Ed. by Gul A. Agha, Fiorella De Cindio, and Grzegorz Rozenberg. Lecture Notes in Computer Science. Springer, 2001, pp. 276–304.

[23] Carlo Ghezzi, Angelo Morzenti, and Mauro Pezzè. “On the Role of Software Reliability in Software Engineering”. In: Software Reliability Modelling and Identification. Ed. by Sergio Bittanti. Springer, LNCS 341, 1987, pp. 1–40.

Refereed journal papers

[24] Antonia Bertolino, Pietro Braione, Guglielmo De Angelis, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Roberto Pietrantuono, Stefano Russo, and Paolo Tonella. “A Survey of Field-based Testing Techniques”. In: ACM Computing Survey 54.5 (2022), 92:1– 92:39. doi: 10.1145/3447240. url: https://doi.org/10.1145/3447240.

[25] Andrea Aquino, Giovanni Denaro, and Mauro Pezzè. “Reusing Solutions Modulo Theories”. In: IEEE Trans. Software Engineering 47.5 (2021), pp. 948–968. doi: 10.1109/TSE.2019.2898199. url: https://doi.org/10.1109/TSE.2019.2898199.

[26] Arianna Blasi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, and Antonio Carzaniga. “MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation”. In: Journal System Software 181 (2021), p. 111041. doi: 10.1016/j.jss.2021.111041. url: https://doi.org/10.1016/j.jss.2021.111041.

[27] Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, and Mauro Pezzè. “On introducing automatic test case generation in practice: A success story and lessons learned”. In: Journal System Software 176 (2021), p. 110933. doi: 10.1016/j.jss.2021.110933. url: https://doi.org/10.1016/j.jss.2021.110933.

[28] Valerio Terragni and Mauro Pezzè. “Statically driven generation of concurrent tests for thread-safe classes”. In: Software Testing Verification Reliability 31.4 (2021). doi: 10.1002/stvr.1774. url: https: //doi.org/10.1002/stvr.1774.

[29] Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Rui Xin. “Predicting failures in multi-tier distributed systems”. In: Journal System Software 161 (2020). doi: 10.1016/j.jss.2019.110464. url: https://doi.org/10.1016/j.jss.2019.110464.

[30] Francesco Adalberto Bianchi, Alessandro Margara, Mauro Pezzè, A Survey of Recent Trends in Testing Concurrent Software Systems. IEEE Transactions on Software Engineering 44(8): 747-783 (2018)

[31] Leonardo Mariani, Mauro Pezzè, and Mauro Santoro, “GK-Tail+ An Efficient Approach to Learn Software Models”. IEEE Transactions on Software Engineering, 43.8 (2017), pp. 715-738.

[32] Mauro Baluda, Giovanni Denaro, and Mauro Pezzè. “Bidirectional Symbolic Analysis for Effective 
Branch Testing”. IEEE Transactions on Software Engineering, 42.5 (2016), pp. 403–426.

[33] Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, and Giordano Tamburrelli. “Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems”. IEEE Transactions on Reliability, 65.1 (2016), pp. 107–125.

[34] Alessio Gambi, Mauro Pezzè, and Giovanni Toffetti. “Kriging-Based Self-Adaptive Cloud Controllers”. IEEE Transactions on Services Computing, 9.3 (2016), pp. 368–381.

[35] Mauro Pezzè and Jochen Wuttke. “Model-driven generation of runtime checks for system properties”. International Journal on Software Tools for Technology Transfer (STTT), 18.1 (2016), pp. 1–19.

[36] Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, and Mauro Pezzè. “Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications”. ACM Transactions on Software Engineering and Methodologies, 24.3 (2015), p. 16.

[37] Mauro Pezzè, and Cheng Zhang. “Automated Test Oracles: A Survey”. Advances in Computers, 95 (2015), pp. 1–48.

[38] Leonardo Mariani, Mauro Pezzè, and Daniele Zuddas. “Recent Advances in Automatic Black-Box Testing”. Advances in Computers, 99: 157-193 (2015).

[39] Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro. “Automatic testing of GUI-based applications”. Software Testing, Verification and Reliability, 24.5 (2014), pp. 341–366.

[40] Mehdi MirzaAghaei, Fabrizio Pastore, and Mauro Pezzè. “Automatic test case evolution”. Software Testing, Verification and Reliability, 24.5 (2014), pp. 386–411.

[41] Hervè Chang, Leonardo Mariani, and Mauro Pezzè. “Exception Handlers for Healing Component- Based Systems”. ACM Transactions on Software Engineering and Methodology, 22.4 (2013).

[42] Giovanni Denaro, Mauro Pezzè, and Davide Tosi. “Test-and-adapt: An Approach for Improving Service Interchangeability”. In: ACM Transactions on Software Engineering and Methodology 22.4 (Oct. 2013), 28:1–28:43. ISSN: 1049-331X.

[43] Alessio Gambi, Giovanni Toffetti, Cesare Pautasso, and Mauro Pezzè. “Kriging Controllers for Cloud Applications”. IEEE Internet Computing, 17.4 (2013), pp. 40–47.

[44] Giovanni Toffetti, and Mauro Pezzè. “Graph transformations and software engineering: Success stories and lost chances”. Journal of Visual Languages and Computing, 24.3 (2013), pp. 207–217.

[45] Mauro Baluda, Pietro Braione, Giovanni Denaro, and Mauro Pezzè. “Enhancing structural software coverage by incrementally computing branch executability”. Software Quality Journal, 19.4 (2011), pp. 725–751.

[46] Leonardo Mariani, Fabrizio Pastore, and Mauro Pezzè. “Dynamic Analysis for Diagnosing Integration Faults”. IEEE Transactions on Software Engineering, 37.4 (2011), pp. 486–508.

[47] Alessandra Gorla, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè, and Jochen Wuttke. “Achieving Cost-Effective Software Reliability Through Self-Healing”. Computing and Informatics, 29.1 (2010), pp. 93–115.

[48] Davide Tosi, Giovanni Denaro, and Mauro Pezzè. “Towards autonomic service-oriented applications”. International Journal of Autonomic Computing (IJAC), 1.1 (2009), pp. 58–80.

[49] Antonio Carzaniga, Alessandra Gorla, and Mauro Pezzè. “Healing Web applications through automatic workarounds”. International Journal on Software Tools for Technology Transfer (STTT), 10.6 (2008), pp. 493–502.

[50] Leonardo Mariani and Mauro Pezzè. “Dynamic Detection of COTS Component Incompatibility”. IEEE Software, 24.5 (2007), pp. 76–85.

[51] Luciano Baresi and Mauro Pezzè. “Formal Interpreters for Diagram Notations”. ACM Transactions on Software Engineering and Methodology, 14.1 (2005), pp. 42–84.

[52] Luciano Baresi and Mauro Pezzè. “Petri Nets as Semantic Domain for Diagram Notations”. Electronic Notes in Theoretical Computer Science, 127.2 (2005), pp. 29–44.

[53] Leonardo Mariani and Mauro Pezzè. “A Technique for Verifying Component-Based Software”. Electronic Notes in Theoretical Computer Science, 116 (2005), pp. 17–30.

[54] Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai. “QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems”. Electronic Notes in Theoretical Computer Science, 116 (2005), pp. 113–131.

[55] Giovanni Denaro, Mauro Pezzè, Davide Tosi, “Adaptive integration of third-party web services.” ACM SIGSOFT Software Engineering Notes, 30(4): 1-6 (2005)

[56] Andrea Baldini, Paolo Prinetto, Giovanni Denaro, and Mauro Pezzè. “Design for Testability for Highly Reconfigurable Component-Based Systems”. Electronic Notes in Theoretical Computer Science, 82.6 (2003), pp. 199–208.

[57] Giovanni Denaro, Leonardo Mariani, and Mauro Pezzè. “Self-Test Components for Highly Reconfigurable Systems”. Electronic Notes in Theoretical Computer Science, 82.6 (2003), pp. 89–98.

[58] Giovanni Denaro, Mauro Pezzè, and Sandro Morasca. “Towards Industrially Relevant Fault-Proneness Models”. International Journal of Software Engineering and Knowledge Engineering, 13.4 (2003), pp. 395–417.

[59] Luciano Baresi, Marco Mauri, and Mauro Pezzè. “PLCTools: Graph Transformation Meets PLC Design”. Electronic Notes in Theoretical Computer Science, 72.2 (2002), pp. 79–89.

[60] Miguel Felder and Mauro Pezzè. “A Formal Design Notation for Real-Time Systems”. ACM Transactions on Software Engineering and Methodology, 11.2 (2002), pp. 149–190.

[61] Luciano Baresi and Mauro Pezzè. “Toward Formalizing Structured Analysis”. ACM Transactions on Software Engineering and Methodology, 7.1 (1998), pp. 80–107.

[62] Andrea Caloini, GianAntonio Magnani, and Mauro Pezzè. “A technique for designing robotic control systems based on Petri nets”. IEEE Transactions on Control Systems and Technology, 6.1 (1998), pp. 72–87.

[63] Christof Ebert, Tomoo Matsubara, Todd Webb, Mauro Pezzè, and Olav W. Bertelsen. “The Road to Maturity: Navigating Between Craft and Science”. IEEE Software 14.6 (1997), pp. 77–82.

[64] Mauro Pezzè, Richard N. Taylor, and Michal Young. “Graph Models for Reachability Analysis of Concurrent Programs”. ACM Transactions on Software Engineering and Methodology, 4.2 (1995), pp. 171–213.

[65] Carlo Ghezzi, Sandro Morasca, and Mauro Pezzè. “Validating Timing Requirements for Time Basic Net Specifications”. Journal of Systems and Software, 27.2 (1994), pp. 97–117.

[66] Renè Elmstrøm, Raino Lintulampi, and Mauro Pezzè. “Giving Semantics to SA/RT by Means of High-Level Times Petri Nets”. Real-Time Systems, 5.2-3 (1993), pp. 249–271.

[67] Miguel Felder, Carlo Ghezzi, and Mauro Pezzè. “High-Level Timed Petri Nets as a Kernel for Executable Specifications”. Real-Time Systems, 5.2-3 (1993), pp. 235–248.

[68] Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, and Mauro Pezzè. “A Unified High-Level Petri Net Formalism for Time-Critical Systems”. IEEE Transactions on Software Engineering, 17.2 (1991), pp. 160–172.

[69] Sandro Morasca, Mauro Pezzè, and Marco Trubian. “Timed High-Level Nets”. Real-Time Systems, 3.2 (1991), pp. 165–189.

[70] Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, and Mauro Pezzè. “Symbolic Execution of Concurrent Systems Using Petri Nets”. Computer Languages, 14.4 (1989), pp. 263–281.

Refereed conference and workshop papers

[71] Arianna Blasi, Alessandra Gorla, Michael D. Ernst, and Mauro Pezzè. “Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints”. In: 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10- 14, 2022. 2022, 19:1–19:11. doi: 10.1145/3551349.3556961. url: https://doi.org/10.1145/ 3551349.3556961.

[72] Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, and Martin Tappler. “Testing Software in Production Environments with Data from the Field”. In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022. 2022, pp. 58–69. doi: 10.1109/ ICST53961.2022.00017. url: https://doi.org/10.1109/ICST53961.2022.00017.

[73] Farideh Khalili, Ali Mohebbi, Valerio Terragni, Mauro Pezzè, Leonardo Mariani, and Abbas Hey- darnoori. “The ineffectiveness of domain-specific word embedding models for GUI test reuse”. In: Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, ICPC 2022, Virtual Event, May 16-17, 2022. 2022, pp. 560–564. doi: 10.1145/3524610.3527873. url: https: //doi.org/10.1145/3524610.3527873.

[74] Mauro Pezzè. “Machine learning and natural language processing for automating software testing (tutorial)”. In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Sympo- sium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. 2022, p. 1821. doi: 10.1145/3540250.3569451. url: https://doi.org/10.1145/3540250.3569451.

[75] Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, and Valerio Terragni. “Semantic matching of GUI events for test reuse: are we there yet?” In: ISSTA ’21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. 2021, pp. 177–190. doi: 10.1145/3460319.3464827. url: https://doi.org/10.1145/3460319.3464827.

[76] Leonardo Mariani, Mauro Pezzè, Valerio Terragni, and Daniele Zuddas. “An Evolutionary Approach to Adapt Tests Across Mobile Apps”. In: 2nd IEEE/ACM International Conference on Automation of Soft- ware Test, AST@ICSE 2021, Madrid, Spain, May 20-21, 2021. 2021, pp. 70–79. doi: 10.1109/AST52587. 2021.00016. url: https://doi.org/10.1109/AST52587.2021.00016.

[77] Noura El Moussa, Davide Molinelli, Mauro Pezzè, and Martin Tappler. “Health of smart ecosys- tems”. In: ESEC/FSE ’21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. 2021, pp. 1491–1494. doi: 10.1145/3468264.3473137. url: https://doi.org/10.1145/3468264.3473137.

[78] Valerio Terragni, Gunel Jahangirova, Mauro Pezzè, and Paolo Tonella. “Improving assertion oracles with evolutionary computation”. In: GECCO ’21: Genetic and Evolutionary Computation Conference, Companion Volume, Lille, France, July 10-14, 2021. 2021, pp. 45–46. doi: 10.1145/3449726.3462722. url: https://doi.org/10.1145/3449726.3462722.

[79] Valerio Terragni, Gunel Jahangirova, Paolo Tonella, and Mauro Pezzè. “GAssert: A Fully Automated Tool to Improve Assertion Oracles”. In: 43rd IEEE/ACM International Conference on Software Engi- neering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021. 2021, pp. 85– 88. doi: 10.1109/ICSE-Companion52605.2021.00042. url: https://doi.org/10.1109/ICSE-Companion52605.2021.00042.

[80] Valerio Terragni, Gunel Jahangirova, Paolo Tonella, and Mauro Pezzè. “Evolutionary improvement of assertion oracles”. In: ESEC/FSE ’20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. 2020, pp. 1178–1189. doi: 10.1145/3368089.3409758. url: https://doi.org/10.1145/3368089.3409758.

[81] Valerio Terragni, Pasquale Salza, and Mauro Pezzè. “Measuring Software Testability Modulo Test Quality”. In: ICPC ’20: 28th International Conference on Program Comprehension, Seoul, Republic of Korea, July 13-15, 2020. 2020, pp. 241–251. doi: 10.1145/3387904.3389273. url: https://doi.org/10.1145/3387904.3389273.

[82] Arianna Blasi, Mauro Pezzè, Alessandra Gorla, and Michael D. Ernst. “Research on NLP for RE at Università della Svizzera Italiana (USI): A Report”. In: Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), Essen, Germany, March 18th, 2019. 2019. url: https://ceur-ws.org/Vol-2376/NLP4RE19_paper17.pdf.

[83] Cristina Monni and Mauro Pezzè. “Energy-based anomaly detection a new perspective for predict- ing software failures”. In: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE (NIER) 2019, Montreal, QC, Canada, May 29-31, 2019. 2019, pp. 69–72. doi: 10.1109/ICSE-NIER.2019.00026. url: https://doi.org/10.1109/ICSE-NIER.2019.00026.

[84] Cristina Monni, Mauro Pezzè, and Gaetano Prisco. “An RBM Anomaly Detector for the Cloud”. In: 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi’an, China, April 22-27, 2019. 2019, pp. 148–159. doi: 10.1109/ICST.2019.00024. url: https://doi.org/10.1109/ICST.2019.00024.

[85] Valerio Terragni, Mauro Pezzè, and Francesco Adalberto Bianchi. “Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies”. In: 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi’an, China, April 22-27, 2019. 2019, pp. 264–275. doi: 10.1109/ICST.2019.00034. url: https://doi.org/10.1109/ICST.2019.00034.

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

[87] Leonardo Mariani, Mauro Pezzè , Daniele Zuddas, Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles. ICSE 2018: 280-290

[88] Leonardo Mariani, Cristina Monni, Mauro Pezzè , Oliviero Riganelli , Rui Xin, Localizing Faults in Cloud Systems. ICST 2018: 262-273

[89] 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

[90] 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

[91] Valerio Terragni , Mauro Pezzè , Effectiveness and challenges in generating concurrent tests for thread-safe classes. ASE 2018: 64-75

[92] Andrea Aquino, Giovanni Denaro, and Mauro Pezzè, “Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions” In: Proceedings of the International Conference on Software Engineering (ICSE 2017). pp. 427-437.

[93] Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, and Mauro Pezzè, “An Exploratory Study of Field Failures” In: Proceedings of the International Symposium on Software Reliability Engineering (ISSRE 2017) pp: 67-77.

[94] Pietro Braione, Giovanni Denaro, Andrea Mattavelli, and Mauro Pezzè, “Combining symbolic execution and search-based testing for programs with complex heap inputs”. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2017). pp. 90-101.

[95] Francesco A. Bianchi, Mauro Pezzè, and Valerio Terragni, “Reproducing concurrency failures from crash stacks” In: Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering. (ESEC/SIGSOFT FSE 2017) pp: 705-716.

[96] Pietro Braione, Giovanni Denaro, and Mauro Pezzè, “JBSE: a symbolic executor for Java programs with complex heap inputs”. In: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2016), Seattle, WA, USA, November 13-18, 2016. 2016, pp. 1018– 1022.

[97] Alberto Goffi, Alessandra Gorla, Michael D. Ernst, and Mauro Pezzè, “Automatic Generation of Oracles for Exceptional Behaviors”. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2016), pp. 213–224.

[98] Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, and Mauro Pezzè, “Reusing Constraint Proofs in Program Analysis”. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2015). Baltimore, MD, USA: ACM, 2015, pp. 305–315. ISBN: 978-1- 4503-3620-8. doi: 10.1145/2771783.2771802. url: http://doi.acm.org/10.1145/2771783.2771802.

[99] Antonio Carzaniga, Andrea Mattavelli, and Mauro Pezzè, “Measuring Software Redundancy”. In: Proceedings of the International Conference on Software Engineering - Volume 1 ( ICSE 2015). Florence, Italy: IEEE Press, 2015, pp. 156–166. isbn: 978-1-4799-1934-5. url: http://dl.acm.org/citation.cfm?id=2818754.2818776.

[100] Gianpaolo Cugola, Alessandro Margara, Mauro Pezzè, and Matteo Pradella, “Efficient analysis of event processing applications”. In: Proceedings of the ACM International Conference on Distributed Event-Based Systems (DEBS 2015), pp. 10–21.

[101] Giovanni Denaro, Alessandro Margara, Mauro Pezzè, and Mattia Vivanti, “Dynamic Data Flow Testing of Object Oriented Systems”. In: Proceedings of the International Conference on Software Engineering - Volume 1. (ICSE 2015). Florence, Italy: IEEE Press, 2015, pp. 947–958. ISBN: 978-1-4799- 1934-5. url: http://dl.acm.org/citation.cfm?id=2818754.2818868.

[102] Alessandro Margara, Mauro Pezzè, Igor V. Pivkin, and Mauro Santoro, “Towards an Engineering Methodology for Multimodel Scientific Simulations”. In: Proceedings of the IEEE/ACM International Workshop on Software Engineering for High Performance Computing in Science (SE4HPCS 2015), Florence, Italy, May 18. 2015, pp. 51–55.

[103] Pietro Braione, Giovanni Denaro, and Mauro Pezzè, “Symbolic execution of programs with heap inputs”. In: Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering. (ESEC/SIGSOFT FSE 2015). pp: 602-613.

[104] Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, and Mauro Pezzè, “Cross- checking Oracles from Intrinsic Software Redundancy”. In: Proceedings of the International Conference on Software Engineering (ICSE 2014). ACM, 2014, pp. 931–942.

[105] Giovanni Denaro, Mauro Pezzè, and Mattia Vivanti, “On the Right Objectives of Data Flow Testing”. In: Proceedings of the International Conference on Software Testing, Verification and Validation (ICST 2014). IEEE, 2014, pp. 71–80.

[106] Carlo Ghezzi, Mauro Pezzè, Michele Sama, and Giordano Tamburrelli, “Mining behavior models from user-intensive web applications”. In: Proceedings of the International Conference on Software Engineering (ICSE 2014). 2014, pp. 277–287.

[107] Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, and Paolo Tonella, “Search-Based Synthesis of Equivalent Method Sequences”. In: Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014). ACM, 2014, pp. 366–376.

[108] Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro, “Link: Exploiting the Web of Data to Generate Test Inputs”. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2014). ACM, pp 373-384.

[109] Pietro Braione, Giovanni Denaro, and Mauro Pezzè, “Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization”. In: Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2013, pp. 411–421.

[110] Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, and Mauro Pezzè, “Automatic Recovery from Runtime Failures”. In: Proceedings of the International Conference on Software Engineering (ICSE 2013). pp. 782-791.

[111] Giovanni Denaro, Mauro Pezzè, and Mattia Vivanti, “Quantifying the complexity of dataflow testing”. In: 8th International Workshop on Automation of Software Test (AST 2013), San Francisco, CA, USA, May 18-19, 2013, pp. 132–138.

[112] Carlo Ghezzi, Mauro Pezzè, and Giordano Tamburrelli, “Adaptive REST applications via model inference and probabilistic model checking”. In: Proceedings of International Symposium on Integrated Network Management. 2013, pp. 1376–1382.

[113] Carlo Ghezzi, Mauro Pezzè, and Giordano Tamburrelli, “Improving Interaction with Services via Probabilistic Piggybacking”. In: Proceedings of the International Conference on Service-Oriented Computing. 2013, pp. 39–53.

[114] Mauro Pezzè, Konstantin Rubinov, and Jochen Wuttke, “Generating Effective Integration Test Cases from Unit Ones”. In: Proceedings of the International Conference on Software Testing, Verification and Validation (ICST 2013). pp. 11-20.

[115] Alessio Gambi, Giovanni Toffetti, and Mauro Pezzè, “Assurance of Self-adaptive Controllers for the Cloud”. In: Proccedings of Assurances for Self-Adaptive Systems 7740 (2013), pp. 311–339. ISSN: 0302-9743.

[116] Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro, “AutoBlackTest: Automatic Black-Box Testing of Interactive Applications”. In: Proceedings of the International Conference on Software Testing, Verification and Validation (ICST 2012). pp.81-90.

[117] Mehdi Mirzaaghaei, Fabrizio Pastore, and Mauro Pezzè. “Supporting Test Suite Evolution through Test Case Adaptation”. In: ICST ’12: Proceedings of the International Conference on Software Testing, Verification and Validation. 2012. pp. 231-240.

[118] Luciano Baresi and Mauro Pezzè. “Improving UML with Petri nets”. In: Proceedings of the International Workshop on INIGRA, Uniform Approaches to Graphical Process Specification Techniques, a Satellite Event of ETAPS 2001. Electronic Notes in Theoretical Computer Science 44.4 (2001), pp. 107–119.

[119] Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro. “AutoBlackTest: a tool for automatic black-box testing”. In: Proceedings of the International Conference on Software Engineering (ICSE 2011). ACM, 2011, pp. 1013–1015.

[120] Mauro Baluda, Pietro Braione, Giovanni Denaro, and Mauro Pezzè. “Structural coverage of feasible code”. In: Proceedings of the Workshop on Automation of Software Test (AST 2010). ACM, 2010, pp. 59– 66.

[121] Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, and Mauro Pezzè. “Automatic Workarounds for Web Applications”. In: Proceedings of the Foundations of Software Engineering Conference (FSE 2010). ACM, 2010, pp. 237–246.

[122] Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, and Mauro Pezzè. “RAW: Runtime Automatic Workarounds”. In: ICSE ’10: Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE 2010 Tool Demo). ACM, 2010, pp. 321–322.

[123] Alessio Gambi, Giovanni Toffetti, and Mauro Pezzè. “Protecting SLAs with surrogate models”. In: Proceedings of the International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010). ACM, 2010, pp. 71–77.

[124] Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, and Mauro Santoro. “SEIM: static extraction of interaction models”. In: Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010). ACM, 2010, pp. 22–28.

[125] Mehdi Mirzaaghaei, Fabrizio Pastore, and Mauro Pezzè. “Automatically repairing test cases for evolving method declarations”. In: Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010). IEEE, 2010, pp. 1–5.

[126] Giovanni Toffetti, Alessio Gambi, Mauro Pezzè, and Cesare Pautasso. “Engineering autonomic controllers for virtualized web applications”. In: Proceedings of the 10th International Conference on Web Engineering (CWE 2010). Springer, 2010, pp. 66–80.

[127] Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, and Alexander L. Wolf. “Toward deeply adaptive societies of digital systems”. In: Proceedings of the International Conference on Software Engineering (ICSE 2009). IEEE, 2009, pp. 331–334.

[128] Hervè Chang, Leonardo Mariani, and Mauro Pezzè. “In-field healing of integration problems with COTS components”. In: Proceedings of the International Conference on Software Engineering (ICSE 2009). IEEE, 2009, pp. 166–176.

[129] Giovanni Denaro, Alessandra Gorla, and Mauro Pezzè. “DaTeC: Dataflow Testing of Java Classes”. In: Proceedings of the 31st International Conference on Software Engineering (ICSE 2009, Tool Demo). ACM, 2009, pp. 421–422.

[130] Giovanni Denaro, Mauro Pezzè, and Davide Tosi. “Ensuring interoperable service-oriented systems through engineered self-healing”. In: Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE 2009). ACM, 2009, pp. 253–262.

[131] Alessio Gambi, Mauro Pezzè, and Michal Young. “SLA Protection models for virtualized data centers”. In: Proceedings of the Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2009). IEEE, 2009, pp. 10–19.

[132] David Lo, Leonardo Mariani, and Mauro Pezzè. “Automatic steering of behavioral model inference”. In:  Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE 2009). ACM, 2009, pp. 345–354.

[133] Leonardo Mariani, Fabrizio Pastore, and Mauro Pezzè. “A toolset for automated failure analysis”. In: Proceedings of the International Conference on Software Engineering (ICSE 2009). IEEE, 2009, pp. 563–566.

[134] Mauro Pezzè and Jochen Wuttke. “LuMiNous – model-driven assertion generation for runtime failure detection”. In: Proceedings of the International Conference on Software Engineering (ICSE 2009, Tool Demo). IEEE, 2009, pp. 411–412.

[135] Antonio Carzaniga, Alessandra Gorla, and Mauro Pezzè. “Self-Healing by Means of Automatic Workarounds”. In: Proceedings of the International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008). ACM, 2008, pp. 17–24.

[136] Hervè Chang, Leonardo Mariani, and Mauro Pezzè. “Self-Healing Strategies for Component Integration Faults”. In: Proceedings of the 1st International Workshop on Automated Engineering of Autonomous and Runtime Evolving Systems (ARAMIS 2008) IEEE, 2008.

[137] Giovanni Denaro, Alessandra Gorla, and Mauro Pezzè. “Contextual Integration Testing of Classes”. In: Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE 2008). Springer, 2008, pp. 246–260.

[138] Leen Lambers, Leonardo Mariani, Hartmut Ehrig, and Mauro Pezzè. “A Formal Framework for Developing Adaptable Service-Based Applications”. In: Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE 2008). Springer, 2008, pp. 392–406.

[139] Davide Lorenzoli, Leonardo Mariani, and Mauro Pezzè. “Automatic Generation of Software Behavioral Models”. In: Proceedings of the International Conference on Software Engineering (ICSE 2008). IEEE, 2008. pp. 501-510.

[140] Hausi Müller, Mauro Pezzè, and Mary Shaw. “Visibility of Control in Adaptive Systems”. In: Proceedings of the International Workshop on Ultra-Large-Scale Software-Intensive Systems (ULSSIS 2008). ACM, 2008, pp. 23–26.

[141] Giovanni Denaro, Mauro Pezzè, and Davide Tosi. “SHIWS: A Self-Healing Integrator for Web Services”. In: Proceedings of the International Conference on Software Engineering (ICSE Companion 2007). IEEE, 2007, pp. 55–56.

[142] Leen Lambers, Hartmut Ehrig, Leonardo Mariani, and Mauro Pezzè. “Iterative Model-driven Development of Adaptable Service-Based Applications”. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE 2007). ACM, 2007. pp.453-456.

[143] Davide Lorenzoli, Leonardo Mariani, and Mauro Pezzè. “Towards Self-Protecting Enterprise Applications”. In: Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE 2007). IEEE, 2007, pp. 181–190.

[144] Leonardo Mariani, Sofia Papagiannakis, and Mauro Pezzè. “Compatibility and Regression Testing of COTS-Component-Based Software”. In: Proceedings of the International Conference on Software Engineering (ICSE 2007). IEEE, 2007, pp. 85–95.

[145] Giovanni Denaro, Mauro Pezzè, Davide Tosi, and Daniela Schilling. “Towards Self-Adaptive Service-Oriented Architectures”. In: Proceedings of the Workshop on Testing, Analysis, and Verification of Web Services and Applications (TAV-WEB 2006). ACM, 2006, pp. 10–16.

[146] Davide Lorenzoli, Leonardo Mariani, and Mauro Pezzè. “Inferring State-Based Behavior Models”. In: Proceedings of the 4th International Workshop on Dynamic Systems Analysis (WODA 2006). ACM, 2006, pp. 25–32.

[147] Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, and Davide Tosi. “Adaptive Runtime Verification for Autonomic Communication Infrastructures”. In: Proceedings of the 1st International IEEE Workshop on Autonomic Communications and Computing (ACC 2005). IEEE, 2005, pp. 553–557.

[148] Giovanni Denaro, Mauro Pezzè, and Davide Tosi. “Adaptive Integration of Third-Party Web Services”. In: Proceedings of the 2005 workshop on Design and Evolution of Autonomic Application Software (DEAS 2005). ACM, 2005, pp. 1–6.

[149] Leonardo Mariani and Mauro Pezzè. “Behavior Capture and Test: Automated Analysis of Component Integration”. In: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005). IEEE, 2005, pp. 292–301.

[150] Mauro Pezzè, Davide Tosi, and Gian Pietro Picco. “Scavenging Complex Genomic Information Using Mobile Code: An Evaluation”. In: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005). IEEE, 2005, pp. 569–578.

[151] Leonardo Mariani, Mauro Pezzè, and David Willmor. “Generation of Integration Tests for Self-Testing Components”. In: Proceedings of the International Workshop on Integration of Testing Methodologies (ITM 2004). Springer, 2004, pp. 337–350.

[152] Luciano Baresi and Mauro Pezzè. “A Toolbox for Automating Visual Software Engineering”. In: Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE 2002). Springer, 2002, pp. 189–202.

[153] Giovanni Denaro, Sandro Morasca, and Mauro Pezzè. “Deriving Models of Software Fault-Proneness”. In: Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE 2002). ACM, 2002, pp. 361–368.

[154] Giovanni Denaro and Mauro Pezzè. “An Empirical Evaluation of Fault-Proneness Models”. In: Proceedings of the International Conference on Software Engineering (ICSE 2002). ACM, 2002, pp. 241– 251.

[155] Vincenzo Martena, Alessandro Orso, and Mauro Pezzè. “Interclass Testing of Object Oriented Software”. In: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2002). IEEE. pp. 135–144.

[156] Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, and Mauro Pezzè. “Using Symbolic Execution for Verifying Safety-Critical Systems”. In: Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE ’01). ACM, 2001, pp. 142–151.

[157] Marcio Delamaro, Mauro Pezzè, Auri M. R. Vincenzi, and Jose Carlos Maldonado. “Mutant Operators for Testing Concurrent Java Programs”. In: Proceedings of the Brazilian Symposium on Software Engineering (SBES 2001). ACM, pp. 272–285.

[158] Ugo Buy, Alessandro Orso, and Mauro Pezzè. “Automated Testing of Classes”. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2000). ACM, pp. 39–48.

[159] Mauro Pezzè and Luciano Baresi. “Can Graph Grammars Make Formal Methods More Human?” In: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2000). Springer, pp. 387–394.

[160] Luciano Baresi and Mauro Pezzè. “A Formal Definition of Structured Analysis with Programmable Graph Grammars”. In: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999). Springer, pp. 193–208.

[161] Ugo Buy, Carlo Ghezzi, Alessandro Orso, Mauro Pezzè, and Matteo Valsasna. “A Framework for Testing Object-Oriented Components”. In: Proceeding of the ICSE Workshop on Testing Distributed Component-Based Systems (TDCS 1999). ACM, pp. 112–124.

[162] Francesco Calzolari and Mauro Pezzè, “A Non-Temporized Approach for Temporized Analysis”. In: Proceedings of the Euromicro Workshop on Real-Time Systems (ECRTS 1998). IEEE, 1998, pp. 154– 161.

[163] Luciano Baresi, Alessandro Orso, and Mauro Pezzè. “Introducing Formal Specification Methods in Industrial Practice”. In: Proceedings of the International Conference on Software Engineering (ICSE 1997). ACM, pp. 56–66.

[164] Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, and Mauro Pezzè. “LEMMA: A Language for Easy Medical Models Analysis”. In: Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS 1997). IEEE, 1997, pp. 244–249.

[165] Mauro Pezzè and Michal Young. “Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models”. In: Proceedings of the International Conference on Software Engineering (ICSE 1997). ACM, pp. 239–250.

[166] Luciano Baresi, Victor Braberman, Miguel Felder, Mauro Pezzè, and Fabio Piezianek. “A Practical Approach to Formal Design of Real-Time Systems”. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 1996). IEEE, pp. 1014–1019.

[167] Andrea Caloini, Gianantonio Magnani, and Mauro Pezzè. “Software Design of Robot Controllers with Petri Nets: a Case-Study”. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC 1996). IEEE, pp. 3039–3044.

[168] Mauro Pezzè and Sergio Silva. “A Software Architecture Approach for Designing CASE Systems”. In: Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 1996). IEEE, pp. 47–50.

[169] Mauro Pezzè and Michal Young. “Generation of Multi-Formalism State-Space Analysis Tools”. In: ISSTA ’96: Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM, 1996, pp. 172–179.

[170] Luciano Baresi, Alessandro Orso, and Mauro Pezzè. “Customizable Notations for Kernel Formalisms”. In: Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 1995). IEEE, pp. 43–53.

[171] Francesco Calzolari and Mauro Pezzè. “Property Decomposition to Speed Up Analysis”. In: Proceedings of the Euromicro Workshop on Real-Time Systems (ECRTS 1995). IEEE, pp. 147–157.

[172] Mauro Pezzè, Antonio Gargiulo, Tiziana Catarci, and Manuele Di Paola. “A Formal Model for Quality Assurance in Coloproctologic Surgery”. In: Proceedings of the World Congress on Medical Informatics (MEDINFO 1995). Healthcare Computing & Communications, 1995.

[173] Carlo Bellettini, Miguel Felder, and Mauro Pezzè, “Merlot: A Tool for Analysis of Real-Time Specifications”. In: Proceedings of the International Workshop on Software Specification and Design (IWSSD 1993). IEEE, pp. 110–119.

[174] Miguel Felder, Carlo Ghezzi, and Mauro Pezzè, “Analyzing Refinements of State Based Specifications: The Case of TB Nets”. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 1993). ACM, pp. 28–39.

[175] Carlo Ghezzi and Mauro Pezzè, “Towards Extensible Graphical Formalisms”. In: Proceedings of the International Workshop on Software Specification and Design (IWSSD 1993). IEEE, pp. 69–77.

[176] Giacomo Buonanno, Sandro Morasca, Mauro Pezzè, Kim Portman, and Donatella Sciuto, “A New Timed Petri Net for Hardware Representation”. In: Proceeding of the 10th International Symposium on Hardware Description Languages and their Applications (CHDL 1991). IEEE.

[177] Giacomo Buonanno, Sandro Morasca, Mauro Pezzè, Kim Portman, and Donatella Sciuto. “Using High Level Petri Nets for Timing Specification of Hardware”. In: Proceedings of the 1990 ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems TAU 1990). ACM.

[178] Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, and Mauro Pezzè. “A General Way to Put Time in Petri Nets”. In: Proceedings of the International Workshop on Software Specification and Design (IWSSD 1989). ACM, pp. 60–67.

[179] Sandro Morasca, and Mauro Pezzè. “The Rationale of an Environment for Real-Time Software”. In: Proceedings of the Euromicro Workshop on Real-Time Systems (ECRTS 1989). IEEE, pp. 37–42.

[180] Sandro Morasca, and Mauro Pezzè. “Validation of Concurrent ADA Programs Using Symbolic Execution”. In: Proceedings of the European Software Engineering Conference (ESEC 1989), pp. 469– 486.

[181] George Milne and Mauro Pezzè. “Typed CIRCAL: a High Level Framework for Hardware Verification”. In: Proceedings of the International Working Conference on the Fusion of Hardware Design and Verification (IFIP 1988). Springer.

[182] Flaminio Borgonovo, Enrico Cadorin, Luigi Fratta, and Mauro Pezzè. “Voice and Data Performance Measurements in L-Express Nets”. In: Proceedings of the ACM SIGCOMM Conference on Communications Architectures and Protocols (SIGCOMM 1986). ACM, pp. 120–125.

Editorials

[183] Mauro Pezzè, Editorial: A Retrospective and Prospective Reflection. ACM Transactions on Software Engineering and Methodologies 31(2): 18e:1-18e:2 (2022)

[184] Mauro Pezzè, Editorial. ACM Transactions on Software Engineering and Methodologies 30(3): 26e:1 (2021)

[185] Mauro Pezzè, Peer Review: Trust and Prejudice. ACM SIGSOFT Software Engineering Notes 45(4): 19-21 (2020)

[186] Mauro Pezzè, Editorial. ACM Transactions on Software Engineering and Methodologies 29(2): 8e:1 (2020)

[187] Mauro Pezzè, Editorial. ACM Transactions on Software Engineering and Methodologies 29(3): 14e:1 (2020)

[188] Mauro Pezzè, Editorial from the Incoming Editor-in-Chief. ACM Transactions on Software Engineering and Methodologies 28(1) (2019)

[189] Mauro Pezzè, Editorial. ACM Transactions on Software Engineering and Methodologies 28(2) (2019)

[190] Mauro Pezzè, Editorial. ACM Transactions on Software Engineering and Methodologies 28(3): 12 (2019)

[191] Mauro Pezzè, Editorial. ACM Transactions on Software Engineering and Methodologies 28(4) (2019)