Mauro Pezzè

Cited by

	All	Since 2018
Citations	11343	3810
h-index	46	28
i10-index	144	78

800

400

200

600

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202375 56 64 79 81 81 60 63 84 97 112 133 145 115 217 239 275 474 540 587 641 785 749 693 691 728 707 632 585 580 571

Public access

View all

45 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Leonardo MarianiUniversity of Milano - BicoccaVerified email at unimib.it
Giovanni DenaroUniversity of Milano-BicoccaVerified email at disco.unimib.it
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Alessandra GorlaAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Luciano BaresiDEIB - Politecnico di MilanoVerified email at polimi.it
Sandro MorascaUniversità degli Studi dell'InsubriaVerified email at uninsubria.it
Michal YoungAssociate Professor of Computer Science, University of OregonVerified email at cs.uoregon.edu
Fabrizio PastoreResearch Scientist, University of LuxembourgVerified email at uni.lu
Hausi A. MüllerDepartment of Computer Science, Faculty of Engineering, University of Victoria, IEEE Quantum WeekVerified email at cs.uvic.ca
Oliviero RiganelliUniversity Professor @UniMiBVerified email at unimib.it
Pietro BraioneUniversità degli Studi di Milano-BicoccaVerified email at unimib.it
Davide TosiUniversità degli Studi dell'InsubriaVerified email at uninsubria.it
Andrea MattavelliTeam Lead @ MF Group AGVerified email at mf-group.ch
Valerio TerragniUniversity of AucklandVerified email at auckland.ac.nz
Alberto GoffiProduct Manager @ mfgroup.chVerified email at arvato.com
Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam UniversityVerified email at hpi.uni-potsdam.de
Alessandro OrsoProfessor of Computer Science, Georgia Institute of TechnologyVerified email at cc.gatech.edu
Mary ShawA.J. Perlis University Professor of Computer Science, Carnegie Mellon UniveristyVerified email at cs.cmu.edu
Marin LitoiuProfessor, York UniversityVerified email at yorku.ca
Nicolò PerinoUniversity of LuganoVerified email at usi.ch

Mauro Pezzè

Professor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)

Verified email at usi.ch - Homepage

Software Engineering Software Testing Program Analysis Self-Healing Systems Symbolic Execution


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Software engineering for self-adaptive systems: A second research roadmap R De Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, ... Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013	2304	2013
Engineering self-adaptive systems through feedback loops Y Brun, G Di Marzo Serugendo, C Gacek, H Giese, H Kienle, M Litoiu, ... Software engineering for self-adaptive systems, 48-70, 2009	765	2009
Software testing and analysis: process, principles, and techniques M Pezzè, M Young John Wiley & Sons, 2008	683	2008
Automatic generation of software behavioral models D Lorenzoli, L Mariani, M Pezzè Proceedings of the 30th international conference on Software engineering …, 2008	566	2008
A unified high-level Petri net formalism for time-critical systems C Ghezzi, D Mandrioli, S Morasca, M Pezze IEEE Transactions on software engineering 17 (2), 160, 1991	493	1991
An empirical evaluation of fault-proneness models G Denaro, M Pezze Proceedings of the 24th International Conference on Software Engineering …, 2002	194	2002
On formalizing UML with high-level Petri nets L Baresi, M Pezze Concurrent object-oriented programming and petri nets: advances in Petri …, 2001	169	2001
Automatic steering of behavioral model inference D Lo, L Mariani, M Pezzè Proceedings of the 7th Joint Meeting Of The European Software Engineering …, 2009	145	2009
Using symbolic execution for verifying safety-critical systems A Coen-Porisini, G Denaro, C Ghezzi, M Pezzé Proceedings of the 8th European software engineering conference held jointly …, 2001	136	2001
Automated testing of classes U Buy, A Orso, M Pezze ACM SIGSOFT Software Engineering Notes 25 (5), 39-48, 2000	136	2000
Dynamic analysis for diagnosing integration faults L Mariani, F Pastore, M Pezze IEEE Transactions on Software Engineering 37 (4), 486-508, 2010	134	2010
Autoblacktest: Automatic black-box testing of interactive applications L Mariani, M Pezze, O Riganelli, M Santoro 2012 IEEE fifth international conference on software testing, verification …, 2012	131	2012
Towards practical runtime verification and validation of self-adaptive software systems G Tamura, NM Villegas, HA Müller, JP Sousa, B Becker, G Karsai, ... Software Engineering for Self-Adaptive Systems II: International Seminar …, 2013	127	2013
Visibility of control in adaptive systems. HA Müller, M Pezzè, M Shaw ULSSIS@ ICSE, 23-26, 2008	127	2008
Automatic recovery from runtime failures A Carzaniga, A Gorla, A Mattavelli, N Perino, M Pezze 2013 35th International Conference on Software Engineering (ICSE), 782-791, 2013	124	2013
Automatic generation of oracles for exceptional behaviors A Goffi, A Gorla, MD Ernst, M Pezzè Proceedings of the 25th international symposium on software testing and …, 2016	113	2016
A general way to put time in Petri nets C Ghezzi, D Mandrioli, S Morasca, M Pezze Proceedings of the 5th international workshop on Software specification and …, 1989	112	1989
Automatic workarounds for web applications A Carzaniga, A Gorla, N Perino, M Pezzè Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	106	2010
Dynamic detection of cots component incompatibility L Mariani, M Pezzè IEEE software 24 (5), 76-85, 2007	105	2007
Mining behavior models from user-intensive web applications C Ghezzi, M Pezzè, M Sama, G Tamburrelli Proceedings of the 36th international conference on software engineering …, 2014	104	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors