default search action

combined dblp search
author search
venue search
publication search

ask others

Mauro Pezzè

> Home > Persons

Person information

affiliation: University of Lugano, Switzerland

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2007
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0017273
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0017273
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

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ese/KhaliliMMPT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/KhaliliMMPT24
Farideh Khalili, Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni:
Semantic matching in GUI test reuse. Empir. Softw. Eng. 29(3): 70 (2024)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/RussoBBACCCCEFHHIKKLLLMMMOPPPPRRSSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/RussoBBACCCCEFHHIKKLLLMMMOPPPPRRSSS24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmse/DenaroMHLPQ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmse/DenaroMHLPQ24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/PezzeCGPQ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/PezzeCGPQ24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze24
Mauro Pezzè:
Editorial: Toward the Future with Eight Issues Per Year. ACM Trans. Softw. Eng. Methodol. 33(1): 1e:1-1e:2 (2024)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze24a
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze23
Mauro Pezzè:
EDITORIAL: Announcing Six TOSEM Issues Per Year. ACM Trans. Softw. Eng. Methodol. 32(1): 1:1-1:2 (2023)
[j56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tse/DenaroHMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DenaroHMP23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/BertolinoBAGKMO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/BertolinoBAGKMO21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze22
Mauro Pezzè:
Editorial: A Retrospective and Prospective Reflection. ACM Trans. Softw. Eng. Methodol. 31(2): 18e:1-18e:2 (2022)
2021
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/BrunettoDMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BrunettoDMP21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/BlasiGEPC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BlasiGEPC21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/TerragniP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/TerragniP21
Valerio Terragni, Mauro Pezzè:
Statically driven generation of concurrent tests for thread-safe classes. Softw. Test. Verification Reliab. 31(4) (2021)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze21
Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 30(3): 26e:1 (2021)
[j49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tse/AquinoDP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AquinoDP21
Andrea Aquino, Giovanni Denaro, Mauro Pezzè:
Reusing Solutions Modulo Theories. IEEE Trans. Software Eng. 47(5): 948-968 (2021)
2020
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/MarianiPRX20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/MarianiPRX20
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Predicting failures in multi-tier distributed systems. J. Syst. Softw. 161 (2020)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Pezze20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Pezze20
Mauro Pezzè:
Peer Review: Trust and Prejudice. ACM SIGSOFT Softw. Eng. Notes 45(4): 19-21 (2020)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze20
Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 29(2): 8e:1 (2020)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze20a
Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 29(3): 14e:1 (2020)
2019
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze19
Mauro Pezzè:
Editorial from the Incoming Editor-in-Chief. ACM Trans. Softw. Eng. Methodol. 28(1) (2019)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze19a
Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 28(2) (2019)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze19b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze19b
Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 28(3): 12 (2019)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Pezze19c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Pezze19c
Mauro Pezzè:
Editorial. ACM Trans. Softw. Eng. Methodol. 28(4) (2019)
2018
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BianchiMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BianchiMP18
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)
2017
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MarianiPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MarianiPS17
Leonardo Mariani, Mauro Pezzè, Mauro Santoro:
GK-Tail+ An Efficient Approach to Learn Software Models. IEEE Trans. Software Eng. 43(8): 715-738 (2017)
2016
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PezzeW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PezzeW16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/CalinescuGJPRT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/CalinescuGJPRT16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/GambiPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/GambiPT16
Alessio Gambi, Mauro Pezzè, Giovanni Toffetti:
Kriging-Based Self-Adaptive Cloud Controllers. IEEE Trans. Serv. Comput. 9(3): 368-381 (2016)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BaludaDP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BaludaDP16
Mauro Baluda, Giovanni Denaro, Mauro Pezzè:
Bidirectional Symbolic Analysis for Effective Branch Testing. IEEE Trans. Software Eng. 42(5): 403-426 (2016)
2015
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/PezzeZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/PezzeZ15
Mauro Pezzè, Cheng Zhang:
Automated Test Oracles: A Survey. Adv. Comput. 95: 1-48 (2015)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ac/MarianiPZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ac/MarianiPZ15
Leonardo Mariani, Mauro Pezzè, Daniele Zuddas:
Recent Advances in Automatic Black-Box Testing. Adv. Comput. 99: 157-193 (2015)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CarzanigaGPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CarzanigaGPP15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/HarmanP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/HarmanP15
Mark Harman, Mauro Pezzè:
Introduction to the Special Issue on ISSTA 2013. ACM Trans. Softw. Eng. Methodol. 24(4): 21:1-21:3 (2015)
2014
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/MarianiPRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/MarianiPRS14
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
Automatic testing of GUI-based applications. Softw. Test. Verification Reliab. 24(5): 341-366 (2014)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/MirzaAghaeiPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/MirzaAghaeiPP14
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè:
Automatic test case evolution. Softw. Test. Verification Reliab. 24(5): 386-411 (2014)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/MurphyP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/MurphyP14
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)
2013
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/internet/GambiTPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/internet/GambiTPP13
Alessio Gambi, Giovanni Toffetti, Cesare Pautasso, Mauro Pezzè:
Kriging Controllers for Cloud Applications. IEEE Internet Comput. 17(4): 40-47 (2013)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/DenaroPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/DenaroPT13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ChangMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ChangMP13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/ToffettiP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/ToffettiP13
Giovanni Toffetti, Mauro Pezzè:
Graph transformations and software engineering: Success stories and lost chances. J. Vis. Lang. Comput. 24(3): 207-217 (2013)
2011
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/BaludaBDP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/BaludaBDP11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MarianiPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MarianiPP11
Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
Dynamic Analysis for Diagnosing Integration Faults. IEEE Trans. Software Eng. 37(4): 486-508 (2011)
2010
[j21]
- view
  - electronic edition @ cai.sk (open access)
  - details & citations
- export record
  dblp key:
  - journals/cai/GorlaPWMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/GorlaPWMP10
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)
2009
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ijauc/TosiDP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijauc/TosiDP09
Davide Tosi, Giovanni Denaro, Mauro Pezzè:
Towards autonomic service-oriented applications. Int. J. Auton. Comput. 1(1): 58-80 (2009)
2008
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CarzanigaGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CarzanigaGP08
Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè:
Healing Web applications through automatic workarounds. Int. J. Softw. Tools Technol. Transf. 10(6): 493-502 (2008)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/NotkinP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/NotkinP08
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)
2007
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/software/MarianiP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/MarianiP07
Leonardo Mariani, Mauro Pezzè:
Dynamic Detection of COTS Component Incompatibility. IEEE Softw. 24(5): 76-85 (2007)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Pezze07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Pezze07
Mauro Pezzè:
Introduction to the special section on FASE 2003. Int. J. Softw. Tools Technol. Transf. 9(2): 133-134 (2007)
2005
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/DenaroPT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/DenaroPT05
Giovanni Denaro, Mauro Pezzè, Davide Tosi:
Adaptive integration of third-party web services. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-6 (2005)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/BaresiP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/BaresiP05
Luciano Baresi, Mauro Pezzè:
Formal interpreters for diagram notations. ACM Trans. Softw. Eng. Methodol. 14(1): 42-84 (2005)
2003
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/DenaroPM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/DenaroPM03
Giovanni Denaro, Mauro Pezzè, Sandro Morasca:
Towards Industrially Relevant Fault-Proneness Models. Int. J. Softw. Eng. Knowl. Eng. 13(4): 395-417 (2003)
2002
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FelderP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FelderP02
Miguel Felder, Mauro Pezzè:
A formal design notation for real-time systems. ACM Trans. Softw. Eng. Methodol. 11(2): 149-190 (2002)
2001
[j11]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/csse/PezzeS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csse/PezzeS01
Mauro Pezzè, Sol M. Shatz:
Editorial. Comput. Syst. Sci. Eng. 16(3): 151-152 (2001)
1998
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tcst/CaloiniMP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcst/CaloiniMP98
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/BaresiP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/BaresiP98
Luciano Baresi, Mauro Pezzè:
Toward Formalizing Structured Analysis. ACM Trans. Softw. Eng. Methodol. 7(1): 80-107 (1998)
1997
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/software/EbertMWPB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/EbertMWPB97
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)
1995
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/PezzeTY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/PezzeTY95
Mauro Pezzè, Richard N. Taylor, Michal Young:
Graph Models for Reachability of Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 4(2): 171-213 (1995)
1994
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/GhezziMP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/GhezziMP94
Carlo Ghezzi, Sandro Morasca, Mauro Pezzè:
Validating timing requirements for time basic net specifications. J. Syst. Softw. 27(2): 97-117 (1994)
1993
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/FelderGP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/FelderGP93
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]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/ElmstromLP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/ElmstromLP93
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)
1991
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/MorascaPT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/MorascaPT91
Sandro Morasca, Mauro Pezzè, Marco Trubian:
Timed High-Level Nets. Real Time Syst. 3(2): 165-189 (1991)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GhezziMMP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GhezziMMP91
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)
1989
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/GhezziMMP89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/GhezziMMP89
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè:
Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14(4): 263-281 (1989)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GazzolaMOPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GazzolaMOPT22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/KhaliliMTPMH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/KhaliliMTPMH22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BlasiGEP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BlasiGEP22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Pezze22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Pezze22
Mauro Pezzè:
Machine learning and natural language processing for automating software testing (tutorial). ESEC/SIGSOFT FSE 2022: 1821
2021
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/ast/MarianiPTZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ast/MarianiPTZ21
Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas:
An Evolutionary Approach to Adapt Tests Across Mobile Apps. AST@ICSE 2021: 70-79
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/TerragniJPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/TerragniJPT21
Valerio Terragni, Gunel Jahangirova, Mauro Pezzè, Paolo Tonella:
Improving assertion oracles with evolutionary computation. GECCO Companion 2021: 45-46
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TerragniJTP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TerragniJTP21
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè:
GAssert: A Fully Automated Tool to Improve Assertion Oracles. ICSE (Companion Volume) 2021: 85-88
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MarianiMPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MarianiMPT21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MoussaMPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MoussaMPT21
Noura El Moussa, Davide Molinelli, Mauro Pezzè, Martin Tappler:
Health of smart ecosystems. ESEC/SIGSOFT FSE 2021: 1491-1494
2020
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/iwpc/TerragniSP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwpc/TerragniSP20
Valerio Terragni, Pasquale Salza, Mauro Pezzè:
Measuring Software Testability Modulo Test Quality. ICPC 2020: 241-251
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/TerragniJTP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/TerragniJTP20
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè:
Evolutionary improvement of assertion oracles. ESEC/SIGSOFT FSE 2020: 1178-1189
2019
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MonniP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MonniP19
Cristina Monni, Mauro Pezzè:
Energy-based anomaly detection a new perspective for predicting software failures. ICSE (NIER) 2019: 69-72
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/MonniPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/MonniPP19
Cristina Monni, Mauro Pezzè, Gaetano Prisco:
An RBM Anomaly Detector for the Cloud. ICST 2019: 148-159
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/TerragniPB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/TerragniPB19
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/refsq/BlasiPGE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/BlasiPGE19
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
2018
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BraioneDMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BraioneDMP18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MarianiPZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MarianiPZ18
Leonardo Mariani, Mauro Pezzè, Daniele Zuddas:
Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles. ICSE 2018: 280-290
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/MarianiMPRX18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/MarianiMPRX18
Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Localizing Faults in Cloud Systems. ICST 2018: 262-273
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PezzeRZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PezzeRZ18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BlasiGKGEPC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BlasiGKGEPC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/TerragniP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/TerragniP18
Valerio Terragni, Mauro Pezzè:
Effectiveness and challenges in generating concurrent tests for thread-safe classes. ASE 2018: 64-75
2017
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AquinoDP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AquinoDP17
Andrea Aquino, Giovanni Denaro, Mauro Pezzè:
Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. ICSE 2017: 427-437
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GazzolaMPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GazzolaMPP17
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
An Exploratory Study of Field Failures. ISSRE 2017: 67-77
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BraioneDMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BraioneDMP17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BianchiPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BianchiPT17
Francesco A. Bianchi, Mauro Pezzè, Valerio Terragni:
Reproducing concurrency failures from crash stacks. ESEC/SIGSOFT FSE 2017: 705-716
2016
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GoffiGEP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GoffiGEP16
Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè:
Automatic generation of oracles for exceptional behaviors. ISSTA 2016: 213-224
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BraioneDP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BraioneDP16
Pietro Braione, Giovanni Denaro, Mauro Pezzè:
JBSE: a symbolic executor for Java programs with complex heap inputs. SIGSOFT FSE 2016: 1018-1022
2015
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/debs/CugolaMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/debs/CugolaMPP15
Gianpaolo Cugola, Alessandro Margara, Mauro Pezzè, Matteo Pradella:
Efficient analysis of event processing applications. DEBS 2015: 10-21
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Pezze15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Pezze15
Mauro Pezzè:
Towards Cost-Effective Oracles. AST@ICSE 2015: 1-2
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MargaraPPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MargaraPPS15
Alessandro Margara, Mauro Pezzè, Igor V. Pivkin, Mauro Santoro:
Towards an Engineering Methodology for Multi-model Scientific Simulations. SE4HPCS@ICSE 2015: 51-55
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CarzanigaMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CarzanigaMP15
Antonio Carzaniga, Andrea Mattavelli, Mauro Pezzè:
Measuring Software Redundancy. ICSE (1) 2015: 156-166
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DenaroMPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DenaroMPV15
Giovanni Denaro, Alessandro Margara, Mauro Pezzè, Mattia Vivanti:
Dynamic Data Flow Testing of Object Oriented Systems. ICSE (1) 2015: 947-958
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AquinoBCDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AquinoBCDP15
Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè:
Reusing constraint proofs in program analysis. ISSTA 2015: 305-315
[c100]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/Carzaniga15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Carzaniga15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BraioneDP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BraioneDP15
Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Symbolic execution of programs with heap inputs. ESEC/SIGSOFT FSE 2015: 602-613
2014
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhezziPST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhezziPST14
Carlo Ghezzi, Mauro Pezzè, Michele Sama, Giordano Tamburrelli:
Mining behavior models from user-intensive web applications. ICSE 2014: 277-287
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CarzanigaGGMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CarzanigaGGMP14
Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè:
Cross-checking oracles from intrinsic software redundancy. ICSE 2014: 931-942
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/DenaroPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/DenaroPV14
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti:
On the Right Objectives of Data Flow Testing. ICST 2014: 71-80
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MarianiPRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MarianiPRS14
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
Link: exploiting the web of data to generate test inputs. ISSTA 2014: 373-384
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GoffiGMPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GoffiGMPT14
Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè, Paolo Tonella:
Search-based synthesis of equivalent method sequences. SIGSOFT FSE 2014: 366-376
2013
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DenaroPV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DenaroPV13
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti:
Quantifying the complexity of dataflow testing. AST 2013: 132-138
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CarzanigaGMPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CarzanigaGMPP13
Antonio Carzaniga, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè:
Automatic recovery from runtime failures. ICSE 2013: 782-791
[c91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/GhezziPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/GhezziPT13
Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli:
Improving Interaction with Services via Probabilistic Piggybacking. ICSOC 2013: 39-53
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/PezzeRW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/PezzeRW13
Mauro Pezzè, Konstantin Rubinov, Jochen Wuttke:
Generating Effective Integration Test Cases from Unit Ones. ICST 2013: 11-20
[c89]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/im/GhezziPT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/im/GhezziPT13
Carlo Ghezzi, Mauro Pezzè, Giordano Tamburrelli:
Adaptive REST applications via model inference and probabilistic model checking. IM 2013: 1376-1382
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BraioneDP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BraioneDP13
Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization. ESEC/SIGSOFT FSE 2013: 411-421
2012
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/Pezze12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/Pezze12
Mauro Pezzè:
From off-Line to continuous on-line maintenance. ICSM 2012: 2-3
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/MarianiPRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/MarianiPRS12
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. ICST 2012: 81-90
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/MirzaAghaeiPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/MirzaAghaeiPP12
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè:
Supporting Test Suite Evolution through Test Case Adaptation. ICST 2012: 231-240
2011
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MarianiPRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MarianiPRS11
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
AutoBlackTest: a tool for automatic black-box testing. ICSE 2011: 1013-1015
2010
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/TamuraVMSBKMPSTW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/TamuraVMSBKMPSTW10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MarianiPRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MarianiPRS10
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
SEIM: static extraction of interaction models. PESOS 2010: 22-28
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BaludaBDP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BaludaBDP10
Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè:
Structural coverage of feasible code. AST 2010: 59-66
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GambiTP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GambiTP10
Alessio Gambi, Giovanni Toffetti, Mauro Pezzè:
Protecting SLAs with surrogate models. PESOS 2010: 71-77
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CarzanigaGPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CarzanigaGPP10
Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè:
RAW: runtime automatic workarounds. ICSE (2) 2010: 321-322
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChengLGGLMMPT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChengLGGLMMPT10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/MirzaAghaeiPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/MirzaAghaeiPP10
Mehdi MirzaAghaei, Fabrizio Pastore, Mauro Pezzè:
Automatically repairing test cases for evolving method declarations. ICSM 2010: 1-5
[c75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icwe/ToffettiGPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwe/ToffettiGPP10
Giovanni Toffetti, Alessio Gambi, Mauro Pezzè, Cesare Pautasso:
Engineering Autonomic Controllers for Virtualized Web Applications. ICWE 2010: 66-80
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/BraioneDP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/BraioneDP10
Pietro Braione, Giovanni Denaro, Mauro Pezzè:
On the Integration of Software Testing and Formal Analysis. LASER Summer School 2010: 158-193
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CarzanigaGPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CarzanigaGPP10
Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè:
Automatic workarounds for web applications. SIGSOFT FSE 2010: 237-246
2009
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BrunSGGKLMPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BrunSGGKLMPS09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/PezzeW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/PezzeW09
Mauro Pezzè, Jochen Wuttke:
Automatic Generation of Runtime Failure Detectors from Property Templates. Software Engineering for Self-Adaptive Systems 2009: 223-240
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GambiPY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GambiPY09
Alessio Gambi, Mauro Pezzè, Michal Young:
SLA Protection models for virtualized data centers. SEAMS 2009: 10-19
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChangMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChangMP09
Hervé Chang, Leonardo Mariani, Mauro Pezzè:
In-field healing of integration problems with COTS components. ICSE 2009: 166-176
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CarzanigaDPEW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CarzanigaDPEW09
Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf:
Toward deeply adaptive societies of digital systems. ICSE Companion 2009: 331-334
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PezzeW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PezzeW09
Mauro Pezzè, Jochen Wuttke:
LuMiNous - model-driven assertion generation for runtime failure detection. ICSE Companion 2009: 411-412
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DenaroGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DenaroGP09
Giovanni Denaro, Alessandra Gorla, Mauro Pezzè:
DaTeC: Contextual data flow testing of java classes. ICSE Companion 2009: 421-422
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MarianiPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MarianiPP09
Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
A toolset for automated failure analysis. ICSE 2009: 563-566
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/DenaroPT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/DenaroPT09
Giovanni Denaro, Mauro Pezzè, Davide Tosi:
Ensuring interoperable service-oriented systems through engineered self-healing. ESEC/SIGSOFT FSE 2009: 253-262
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LoMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LoMP09
David Lo, Leonardo Mariani, Mauro Pezzè:
Automatic steering of behavioral model inference. ESEC/SIGSOFT FSE 2009: 345-354
2008
[c62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/DenaroGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DenaroGP08
Giovanni Denaro, Alessandra Gorla, Mauro Pezzè:
Contextual Integration Testing of Classes. FASE 2008: 246-260
[c61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LambersMEP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LambersMEP08
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CarzanigaGP08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CarzanigaGP08a
Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè:
Self-healing by means of automatic workarounds. SEAMS 2008: 17-24
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MullerPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MullerPS08
Hausi A. Müller, Mauro Pezzè, Mary Shaw:
Visibility of control in adaptive systems. ULSSIS@ICSE 2008: 23-26
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CarzanigaGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CarzanigaGP08
Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè:
Handling Software Faults with Redundancy. WADS 2008: 148-171
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LorenzoliMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LorenzoliMP08
Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè:
Automatic generation of software behavioral models. ICSE 2008: 501-510
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ChangMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ChangMP08
Hervé Chang, Leonardo Mariani, Mauro Pezzè:
Self-healing strategies for component integration faults. ASE Workshops 2008: 25-32
2007
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icac/DenaroPT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icac/DenaroPT07
Giovanni Denaro, Mauro Pezzè, Davide Tosi:
Designing Self-Adaptive Service-Oriented Applications. ICAC 2007: 16
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DenaroPT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DenaroPT07
Giovanni Denaro, Mauro Pezzè, Davide Tosi:
SHIWS: A Self-Healing Integrator for Web Services. ICSE Companion 2007: 55-56
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MarianiPP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MarianiPP07
Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè:
Compatibility and Regression Testing of COTS-Component-Based Software. ICSE 2007: 85-95
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/LorenzoliMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/LorenzoliMP07
Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè:
Towards Self-Protecting Enterprise Applications. ISSRE 2007: 39-48
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LambersEMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LambersEMP07
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè:
Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/DenaroPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/DenaroPS07
Giovanni Denaro, Mauro Pezzè, Onn Shehory:
SOQUA 2007: 4th international workshop on software quality assurance. ESEC/SIGSOFT FSE 2007: 615-616
2006
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/LorenzoliMST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/LorenzoliMST06
Davide Lorenzoli, Mauro Pezzè, Stefano Mussino, Andrea Sichel, Davide Tosi:
A SOA based Self-Adaptive PERSONAL MOBILITY MANAGER. IEEE SCC 2006: 479-486
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/DenaroPTS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/DenaroPTS06
Giovanni Denaro, Mauro Pezzè, Davide Tosi, Daniela Schilling:
Towards self-adaptive service-oriented architectures. TAV-WEB 2006: 10-16
2005
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BaresiP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BaresiP05
Luciano Baresi, Mauro Pezzè:
From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling 2005: 24-37
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/MarianiP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/MarianiP05
Leonardo Mariani, Mauro Pezzè:
Behavior Capture and Test: Automated Analysis of Component Integration. ICECCS 2005: 292-301
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/PezzeTP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/PezzeTP05
Mauro Pezzè, Davide Tosi, Gian Pietro Picco:
Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. ICECCS 2005: 569-578
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/wowmom/DenaroMPT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wowmom/DenaroMPT05
Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi:
Adaptive Runtime Verification for Autonomic Communication Infrastructures. WOWMOM 2005: 553-557
2004
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/MarianiPW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MarianiPW04
Leonardo Mariani, Mauro Pezzè, David Willmor:
Generation of Integration Tests for Self-Testing Components. FORTE Workshops 2004: 337-350
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PezzeY04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PezzeY04
Mauro Pezzè, Michal Young:
Testing Object Oriented Software. ICSE 2004: 739-740
[c41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Pezze05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Pezze05
Mauro Pezzè:
Preface. TACoS 2004: 1-2
[c40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MarianiP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MarianiP05
Leonardo Mariani, Mauro Pezzè:
A Technique for Verifying Component-Based Software. TACoS 2004: 17-30
[c39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaresiP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaresiP05
Luciano Baresi, Mauro Pezzè:
Petri Nets as Semantic Domain for Diagram Notations. PNGT@ICGT 2004: 29-44
[c38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaresiP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaresiP06
Luciano Baresi, Mauro Pezzè:
An Introduction to Software Testing. FoVMT 2004: 89-111
[c37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PezzeBDLRR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PezzeBDLRR05
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
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/DenaroP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/DenaroP03
Giovanni Denaro, Mauro Pezzè:
Petri Nets and Software Engineering. Lectures on Concurrency and Petri Nets 2003: 439-466
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SchaferP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SchaferP03
Bruce Schafer, Mauro Pezzè:
Research Demonstrations and Posters. ICSE 2003: 800-801
[c34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DenaroMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DenaroMP03
Giovanni Denaro, Leonardo Mariani, Mauro Pezzè:
Self-Test Components for Highly Reconfigurable Systems. TACoS 2003: 89-98
[c33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldiniPDP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldiniPDP03
Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè:
Design for Testability for Highly Reconfigurable Component-Based Systems. TACoS 2003: 199-208
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Pezze03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Pezze03
Mauro Pezzè:
Preface. TACoS 2003: 209-210
2002
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BaresiP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BaresiP02
Luciano Baresi, Mauro Pezzè:
A Toolbox for Automating Visual Software Engineering. FASE 2002: 189-202
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/MartenaOP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/MartenaOP02
Vincenzo Martena, Alessandro Orso, Mauro Pezzè:
Interclass Testing of Object Oriented Software. ICECCS 2002: 135-144
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DenaroP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DenaroP02
Giovanni Denaro, Mauro Pezzè:
An empirical evaluation of fault-proneness models. ICSE 2002: 241-251
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/DenaroMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/DenaroMP02
Giovanni Denaro, Sandro Morasca, Mauro Pezzè:
Deriving models of software fault-proneness. SEKE 2002: 361-368
[c27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaresiMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaresiMP02
Luciano Baresi, Marco Mauri, Mauro Pezzè:
PLCTools: Graph Transformation Meets PLC Design. GraBaTs 2002: 79
2001
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cooppn/BaresimP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cooppn/BaresimP01
Luciano Baresi, Mauro Pezzè:
On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 276-304
[c25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/DelamaroPV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/DelamaroPV01
Márcio E. Delamaro, Mauro Pezzè, Auri M. R. Vincenzi:
Mutant Operators for Testing Concurrent Java Programs. SBES 2001: 272-285
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Coen-PorisiniDGP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Coen-PorisiniDGP01
Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè:
Using symbolic execution for verifying safety-critical systems. ESEC / SIGSOFT FSE 2001: 142-151
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaresiP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaresiP01
Luciano Baresi, Mauro Pezzè:
Improving UML with Petri nets. UNIGRA 2001: 107-119
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaresiPT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaresiPT01
Luciano Baresi, Mauro Pezzè, Gabriele Taentzer:
Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001. GT-VMT@ICALP 2001: 325-326
2000
[c21]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icalp/PezzeB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/PezzeB00
Mauro Pezzè, Luciano Baresi:
Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops 2000: 387-394
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MageeP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MageeP00
Jeff Magee, Mauro Pezzè:
The ICSE2000 doctoral workshop. ICSE 2000: 697
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BuyOP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BuyOP00
Ugo A. Buy, Alessandro Orso, Mauro Pezzè:
Automated Testing of Classes. ISSTA 2000: 39-48
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/BaresiMMP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/BaresiMMP00
Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezzè:
PLCTOOLS: design, formal validation, and code generation for programmable controllers. SMC 2000: 2437-2442
1999
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/agtive/BaresiP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agtive/BaresiP99
Luciano Baresi, Mauro Pezzè:
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. AGTIVE 1999: 193-208
1998
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/CalzolariP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/CalzolariP98
Francesco Calzolari, Mauro Pezzè:
A non-temporized approach for temporized analysis. ECRTS 1998: 154-161
1997
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cbms/BaresiPGP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbms/BaresiPGP97
Luciano Baresi, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè:
LEMMA: a language for easy medical models analysis. CBMS 1997: 244-249
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BaresiOP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BaresiOP97
Luciano Baresi, Alessandro Orso, Mauro Pezzè:
Introducing Formal Specification Methods in Industrial Practice. ICSE 1997: 56-66
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PezzeY97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PezzeY97
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/PezzeS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/PezzeS96
Mauro Pezzè, Sergio Silva:
A Software Architecture Approach for Designing CASE Systems. ICECCS 1996: 47-50
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PezzeY96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PezzeY96
Mauro Pezzè, Michal Young:
Generation of Multi-Formalism State-Space Analysis Tools. ISSTA 1996: 172-179
1995
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/CalzolariP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/CalzolariP95
Francesco Calzolari, Mauro Pezzè:
Property decomposition to speed up analysis. RTS 1995: 147-154
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BaresiOP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BaresiOP95
Luciano Baresi, Alessandro Orso, Mauro Pezzè:
Customizable notations for kernel formalisms. ICECCS 1995: 43-
1993
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/FelderGP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FelderGP93
Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
Analyzing Refinements of State Based Specifications: The Case of TB Nets. ISSTA 1993: 28-39
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/GhezziP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/GhezziP93
Carlo Ghezzi, Mauro Pezzè:
Towards Extensible Graphical Formalisms. IWSSD 1993: 69-77
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/BellettiniFP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/BellettiniFP93
Carlo Bellettini, Miguel Felder, Mauro Pezzè:
Merlot: A Tool for Analysis of Real-Time Specifications. IWSSD 1993: 110-119
1992
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/nato/FelderGP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/FelderGP92
Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems. NATO ASI RTC 1992: 187-211
1989
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/MorascaP89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/MorascaP89
Sandro Morasca, Mauro Pezzè:
Validation of Concurrent ADA Programs using Symbolic Execution. ESEC 1989: 469-486
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/GhezziMMP89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/GhezziMMP89
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè:
A general way to put time in Petri nets. IWSSD 1989: 60-67
1987
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/GhezziMP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/GhezziMP87
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/BorgonovoCFP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/BorgonovoCFP86
Flaminio Borgonovo, Enrico Cadorin, Luigi Fratta, Mauro Pezzè:
Voice and data performance measurements in L-express net. SIGCOMM 1986: 120-125

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2017
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/GoffiGMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/GoffiGMP17
Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè:
Intrinsic Redundancy for Reliability and Beyond. Present and Ulterior Software Engineering 2017: 153-171
2013
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/GambiTP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GambiTP13
Alessio Gambi, Giovanni Toffetti, Mauro Pezzè:
Assurance of Self-adaptive Controllers for the Cloud. Assurances for Self-Adaptive Systems 2013: 311-339
1993
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/ws/93/GhezziPP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ws/93/GhezziPP93
Carlo Ghezzi, Mauro Pezzè, Kim Portman:
Parallel Execution of Real-Time Petri Nets. Advances in Software Engineering and Knowledge Engineering 1993: 135-157

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2013
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2013
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
[e8]
- view
- export record
  dblp key:
  - conf/icse/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2012
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]
2010
[e7]
- view
- export record
  dblp key:
  - conf/icse/2010seams
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2010seams
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]
2007
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/soqua/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soqua/2007
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
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2006
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
[e4]
- view
- export record
  dblp key:
  - conf/tacos/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacos/2004
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]
2003
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/2003
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]
- view
- export record
  dblp key:
  - conf/tacos/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacos/2003
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]
2001
[e1]
- view
- export record
  dblp key:
  - conf/gtvmt/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gtvmt/2001
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-11939
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-11939
Giovanni Denaro, Rahim Heydarov, Ali Mohebbi, Mauro Pezzè:
PREVENT: An Unsupervised Approach to Predict Software Failures in Production. CoRR abs/2208.11939 (2022)
2021
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-00465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-00465
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-02901
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-02901
Valerio Terragni, Gunel Jahangirova, Paolo Tonella, Mauro Pezzè:
GAssert: A Fully Automated Tool to Improve Assertion Oracles. CoRR abs/2103.02901 (2021)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-05233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-05233
Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas:
An Evolutionary Approach to Adapt Tests Across Mobile Apps. CoRR abs/2104.05233 (2021)
2019
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-09561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-09561
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Predicting Failures in Multi-Tier Distributed Systems. CoRR abs/1911.09561 (2019)
2018
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-00356
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-00356
Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Localizing Faults in Cloud Systems. CoRR abs/1803.00356 (2018)
2017
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1708-09494
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-09494
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
An Exploratory Study of Field Failures. CoRR abs/1708.09494 (2017)
2011
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/PezzeRWZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/PezzeRWZ11
Mauro Pezzè, Martin C. Rinard, Westley Weimer, Andreas Zeller:
Self-Repairing Programs (Dagstuhl Seminar 11062). Dagstuhl Reports 1(2): 16-29 (2011)
2010
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/HarroldMOPPPRY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/HarroldMOPPPRY10
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]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/LemosGMSABBBBCD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/LemosGMSABBBBCD10
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

Coauthor Index

see FAQ

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.