Mauro Pezzè

Automatic generation of software behavioral models

Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè · 2008 · 414 citations

Computing, Computer Engineering, Computer Science +17

A unified high-level Petri net formalism for time-critical systems

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca et al. · IEEE Transactions on Software Engineering · 1991 · 345 citations

Engineering, Computer Science, Systems Engineering +15

Proceedings of the 34th International Conference on Software Engineering

Martin Glinz, Gail C. Murphy, Mauro Pezzè · BOA (University of Milano-Bicocca) · 2012 · 134 citations

Computing, Computer Engineering, Computer Science +14

An empirical evaluation of fault-proneness models

Giovanni Denaro, Mauro Pezzè · 2002 · 128 citations

Computing, Computer Science, Fault Tolerance +13

Dynamic Analysis for Diagnosing Integration Faults

Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè · IEEE Transactions on Software Engineering · 2010 · 111 citations

Computing, Computer Engineering, Computer Science +17