Mauro Pezzè

Cited by

	All	Since 2018
Citations	11162	3653
h-index	46	27
i10-index	142	75

800

400

200

600

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202378 58 64 82 82 82 63 63 89 100 119 138 149 116 222 249 306 474 530 587 641 782 748 692 687 726 703 626 576 585 437

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
Oliviero RiganelliUniversity Professor @UniMiBVerified email at unimib.it
Pietro BraioneUniversità degli Studi di Milano-BicoccaVerified email at unimib.it
Hausi A. MüllerDepartment of Computer Science, Faculty of Engineering, University of Victoria, IEEE Quantum WeekVerified email at cs.uvic.ca
Davide TosiUniversità degli Studi dell'InsubriaVerified email at uninsubria.it
Andrea MattavelliTeam Lead @ MF Group AGVerified email at mf-group.ch
Alberto GoffiProduct Manager @ mfgroup.chVerified email at arvato.com
Valerio TerragniUniversity of AucklandVerified email at auckland.ac.nz
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	2274	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	752	2009
Software testing and analysis: process, principles, and techniques M Pezzè, M Young John Wiley & Sons, 2008	670	2008
Automatic generation of software behavioral models D Lorenzoli, L Mariani, M Pezzè Proceedings of the 30th international conference on Software engineering …, 2008	564	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	489	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	143	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	128	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	125	2013
Visibility of control in adaptive systems. HA Müller, M Pezzè, M Shaw ULSSIS@ ICSE, 23-26, 2008	125	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
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 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	108	2016
Dynamic detection of cots component incompatibility L Mariani, M Pezzè IEEE software 24 (5), 76-85, 2007	104	2007
Automatic workarounds for web applications A Carzaniga, A Gorla, N Perino, M Pezzè Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	103	2010
Compatibility and regression testing of COTS-component-based software L Mariani, S Papagiannakis, M Pezze 29th International Conference on Software Engineering (ICSE'07), 85-95, 2007	103	2007

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