| Early performance testing of distributed software applications G Denaro, A Polini, W Emmerich Proceedings of the 4th International Workshop on Software and Performance …, 2004 | 222 | 2004 |
| An empirical evaluation of fault-proneness models G Denaro, M Pezze Proceedings of the 24th International Conference on Software Engineering …, 2002 | 195 | 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 | 136 | 2001 |
| Deriving models of software fault-proneness G Denaro, S Morasca, M Pezze Proceedings of the 14th international conference on Software engineering and …, 2002 | 75 | 2002 |
| Estimating software fault-proneness for tuning testing activities G Denaro Proceedings of the 22nd international conference on Software engineering …, 2000 | 70 | 2000 |
| 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 | 69 | 2017 |
| 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 | 67 | 2006 |
| Petri nets and software engineering G Denaro, M Pezze Lecture Notes in Computer Science 3098, 439-466, 2004 | 52 | 2004 |
| JBSE: A symbolic executor for java programs with complex heap inputs P Braione, G Denaro, M Pezzè Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 43 | 2016 |
| Dynamic Data Flow Testing of Object Oriented Systems G Denaro, A Margara, M Pezze, M Vivanti International Conference on Software Engineering (ICSE 2015), 2015 | 43 | 2015 |
| An experience on verification of aspect properties G Denaro, M Monga Proceedings of the 4th international workshop on Principles of software …, 2001 | 42 | 2001 |
| Symbolic execution of programs with heap inputs P Braione, G Denaro, M Pezzè Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 39 | 2015 |
| 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 | 39 | 2010 |
| 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 |
| 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 | 39 | 2002 |
| 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 | 38 | 2015 |
| 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 | 38 | 2003 |
| Towards autonomic service-oriented applications D Tosi, G Denaro, M Pezzè International Journal of Autonomic Computing 1 (1), 58-80, 2009 | 36 | 2009 |
| 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 | 35 | 2013 |
| Bidirectional symbolic analysis for effective branch testing M Baluda, G Denaro, M Pezzè IEEE Transactions on Software Engineering 42 (5), 403-426, 2015 | 34 | 2015 |
Mauro PezzèProfessor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)在 usi.ch 的电子邮件经过验证
