Mauro Pezzè

Cited by

	All	Since 2016
Citations	9198	3336
h-index	42	25
i10-index	131	66

780

390

195

585

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202123 75 60 54 82 78 79 57 59 77 93 101 120 128 114 207 229 305 483 523 597 637 778 728 683 702 705 663 565 18

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
Luciano BaresiDEIB - Politecnico di MilanoVerified email at polimi.it
Sandro MorascaUniversità degli Studi dell'InsubriaVerified email at uninsubria.it
Alessandra GorlaAssistant Research Professor, IMDEA Software InstituteVerified email at imdea.org
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 VictoriaVerified email at cs.uvic.ca
Davide TosiUniversità degli Studi dell'InsubriaVerified email at uninsubria.it
Oliviero RiganelliResearcher @University of Milano BicoccaVerified email at unimib.it
Pietro BraioneUniversità degli Studi di Milano-BicoccaVerified email at unimib.it
Alessandro OrsoProfessor of Computer Science, Georgia Institute of TechnologyVerified email at cc.gatech.edu
Andrea MattavelliMF Group AGVerified email at gmtech.ch
Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam UniversityVerified email at hpi.uni-potsdam.de
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
Alessio GambiUniversity of PassauVerified email at uni-passau.de
Giovanni ToffettiAssociate Professor, Zurich university of Applied Sciences (ZHAW)Verified email at zhaw.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, 1-32, 2013	1900	2013
Engineering self-adaptive systems through feedback loops Y Brun, GDM Serugendo, C Gacek, H Giese, H Kienle, M Litoiu, H Müller, ... Software engineering for self-adaptive systems, 48-70, 2009	624	2009
Software testing and analysis: process, principles, and techniques M Pezzè, M Young John Wiley & Sons, 2008	546	2008
Automatic generation of software behavioral models D Lorenzoli, L Mariani, M Pezzè Proceedings of the 30th international conference on Software engineering …, 2008	485	2008
A unified high-level Petri net formalism for time-critical systems C Ghezzi, D Mandrioli, S Morasca, M Pezzè IEEE Transactions on software engineering 17 (2), 160, 1991	464	1991
An empirical evaluation of fault-proneness models G Denaro, M Pezzè Proceedings of the 24th International Conference on Software Engineering …, 2002	172	2002
On formalizing UML with high-level Petri nets L Baresi, M Pezze Concurrent object-oriented programming and petri nets, 276-304, 2001	159	2001
Automated testing of classes U Buy, A Orso, M Pezze ACM SIGSOFT Software Engineering Notes 25 (5), 39-48, 2000	130	2000
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	125	2001
Visibility of control in adaptive systems. HA Müller, M Pezzè, M Shaw ULSSIS@ ICSE, 23-26, 2008	119	2008
Automatic steering of behavioral model inference D Lo, L Mariani, M Pezzè Proceedings of the 7th Joint Meeting Of The European Software Engineering …, 2009	115	2009
Dynamic analysis for diagnosing integration faults L Mariani, F Pastore, M Pezze IEEE Transactions on Software Engineering 37 (4), 486-508, 2010	113	2010
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, 108-132, 2013	102	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	102	1989
Automatic recovery from runtime failures A Carzaniga, A Gorla, A Mattavelli, N Perino, M Pezzè 2013 35th International Conference on Software Engineering (ICSE), 782-791, 2013	96	2013
Dynamic detection of cots component incompatibility L Mariani, M Pezzè IEEE software 24 (5), 76-85, 2007	96	2007
Automatic workarounds for web applications A Carzaniga, A Gorla, N Perino, M Pezzè Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	89	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	86	2012
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	83	2007
Software engineering for self-adaptive systems C Barna, H Ghanbari, M Litoiu, M Shtern	81	2009

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

Upload PDF

Follow this author

Cited by

Co-authors