| Early performance testing of distributed software applications G Denaro, A Polini, W Emmerich Proceedings of the 4th International Workshop on Software and Performance …, 2004 | 200 | 2004 |
| An empirical evaluation of fault-proneness models G Denaro, M Pezze Proceedings of the 24th International Conference on Software Engineering …, 2002 | 178 | 2002 |
| 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 |
| Deriving models of software fault-proneness G Denaro, S Morasca, M Pezze Proceedings of the 14th international conference on Software engineering and …, 2002 | 65 | 2002 |
| Towards self-adaptive service-oriented architectures G Denaro, M Pezzé, D Tosi, D Schilling Proceedings of the 2006 workshop on Testing, analysis, and verification of …, 2006 | 61 | 2006 |
| Estimating software fault-proneness for tuning testing activities G Denaro Proceedings of the 22nd international conference on Software engineering …, 2000 | 56 | 2000 |
| Petri nets and software engineering G Denaro, M Pezze Lecture Notes in Computer Science 3098, 439-466, 2004 | 44 | 2004 |
| An experience on verification of aspect properties G Denaro, M Monga Proceedings of the 4th international workshop on Principles of software …, 2001 | 41 | 2001 |
| Ensuring interoperable service-oriented systems through engineered self-healing G Denaro, M Pezze, D Tosi Proceedings of the 7th joint meeting of the European Software Engineering …, 2009 | 39 | 2009 |
| Combining symbolic execution and search-based testing for programs with complex heap inputs P Braione, G Denaro, A Mattavelli, M Pezzè Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 37 | 2017 |
| Structural coverage of feasible code M Baluda, P Braione, G Denaro, M Pezzè Proceedings of the 5th Workshop on Automation of Software Test, 59-66, 2010 | 36 | 2010 |
| Assertions to better specify the amazon bug L Baresi, G Denaro, L Mainetti, P Paolini Proceedings of the 14th international conference on Software engineering and …, 2002 | 36 | 2002 |
| Towards autonomic service-oriented applications D Tosi, G Denaro, M Pezze International Journal of Autonomic Computing 1 (1), 58-80, 2009 | 34 | 2009 |
| An empirical evaluation of object oriented metrics in industrial setting G Denaro, L Lavazza, M Pezze The 5th CaberNet Plenary Workshop, Porto Santo, Madeira Archipelago, Portugal, 2003 | 34 | 2003 |
| Towards industrially relevant fault-proneness models G Denaro, M Pezzè, S Morasca International Journal of Software Engineering and Knowledge Engineering 13 …, 2003 | 31 | 2003 |
| Reusing constraint proofs in program analysis A Aquino, FA Bianchi, M Chen, G Denaro, M Pezzè Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 30 | 2015 |
| Dynamic Data Flow Testing of Object Oriented Systems G Denaro, A Margara, M Pezze, M Vivanti International Conference on Software Engineering (ICSE 2015), 2015 | 30 | 2015 |
| Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization P Braione, G Denaro, M Pezzè Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 30 | 2013 |
| Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component P Braione, G Denaro, A Mattavelli, M Vivanti, A Muhammad Software quality journal 22 (2), 311-333, 2014 | 27 | 2014 |
| Enhancing structural software coverage by incrementally computing branch executability M Baluda, P Braione, G Denaro, M Pezzè Software Quality Journal 19 (4), 725-751, 2011 | 27 | 2011 |
Mauro PezzèProfessor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)Verified email at usi.ch
