Mauro Pezzè - Concepedia

Author

Mauro Pezzè

University of Milano-Bicocca ORCID

Also Known As

David Notkin, Jacky Estublier, M Pezze, M Pezzè, M. Pezze, M. Pezzè, M. Pezzé, MAURO PEZZÈ, Mauro Pezze, Mauro Pezzè

301

Publications

7.5K

Citations

H-Index

149

Concepts

All Affiliations

University of Milano-Bicocca Università della Svizzera italiana Politecnico di Milano Constructor Institute

About

Mauro Pezzè is an author at University of Milano-Bicocca specializing in engineering, software engineering, and program analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	38	108	4.7K
2	Language Studies	4	4	152
3	Business	2	2	40
4	Management	2	2	49
5	Arts	1	1	15

Mauro Pezzè

121

Publications

5.1K

Citations

H-Index

Page 1

	Year	Citations
Automatic generation of software behavioral models Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè Software MaintenanceEngineeringSoftware SystemsSoftware EngineeringSoftware Analysis	2008	411
A unified high-level Petri net formalism for time-critical systems Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, IEEE Transactions on Software Engineering Er NetsPetri NetEngineeringSoftware EngineeringComplex Systems	1991	345
Proceedings of the 34th International Conference on Software Engineering Martin Glinz, Gail C. Murphy, Mauro Pezzè BOA (University of Milano-Bicocca) Automated Software EngineeringEmpirical Software Engineering ResearchEngineeringProgram AnalysisSoftware Engineering	2012	132
An empirical evaluation of fault-proneness models Giovanni Denaro, Mauro Pezzè Software MaintenanceSoftware Reliability TestingEngineeringSoftware EngineeringSoftware Analysis	2002	128
Dynamic Analysis for Diagnosing Integration Faults Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè IEEE Transactions on Software Engineering Software MaintenanceEngineeringVerificationSoftware EngineeringSoftware Analysis	2010	110
An Introduction to Software Testing Luciano Baresi, Mauro Pezzè Electronic Notes in Theoretical Computer Science Software MaintenanceTotal Quality ManagementEngineeringVerificationSoftware Engineering	2006	104
Automatic generation of oracles for exceptional behaviors Alberto Goffi, Alessandra Gorla, Michael D. Ernst, EngineeringSoftware EngineeringExceptional BehaviorSoftware AnalysisFormal Verification	2016	104
Automatic steering of behavioral model inference David Lo, Leonardo Mariani, Mauro Pezzè EngineeringSoftware SystemsVerificationSoftware EngineeringFinite State Models	2009	103
Using symbolic execution for verifying safety-critical systems Alberto Coen‐Porisini, Giovanni Denaro, Carlo Ghezzi, EngineeringVerificationSafety ScienceSoftware EngineeringSoftware Analysis	2001	99
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Software MaintenanceEngineeringVerificationTest Data GenerationSoftware Engineering	2012	98

Page 1