| 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: International Seminar …, 2013 | 2403 | 2013 |
| Engineering self-adaptive systems through feedback loops Y Brun, G Di Marzo Serugendo, C Gacek, H Giese, H Kienle, M Litoiu, ... Software engineering for self-adaptive systems, 48-70, 2009 | 811 | 2009 |
| Software testing and analysis: process, principles, and techniques M Pezzè, M Young John Wiley & Sons, 2008 | 734 | 2008 |
| Automatic generation of software behavioral models D Lorenzoli, L Mariani, M Pezzè Proceedings of the 30th international conference on Software engineering …, 2008 | 577 | 2008 |
| A unified high-level Petri net formalism for time-critical systems C Ghezzi, D Mandrioli, S Morasca, M Pezze IEEE Transactions on software engineering 17 (2), 160, 1991 | 514 | 1991 |
| An empirical evaluation of fault-proneness models G Denaro, M Pezze Proceedings of the 24th International Conference on Software Engineering …, 2002 | 197 | 2002 |
| On formalizing UML with high-level Petri nets L Baresi, M Pezze Concurrent object-oriented programming and petri nets: advances in Petri …, 2001 | 172 | 2001 |
| Automatic steering of behavioral model inference D Lo, L Mariani, M Pezzè Proceedings of the 7th Joint Meeting Of The European Software Engineering …, 2009 | 152 | 2009 |
| 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 | 146 | 2012 |
| 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 | 139 | 2001 |
| Automatic generation of oracles for exceptional behaviors A Goffi, A Gorla, MD Ernst, M Pezzè Proceedings of the 25th international symposium on software testing and …, 2016 | 138 | 2016 |
| Dynamic analysis for diagnosing integration faults L Mariani, F Pastore, M Pezze IEEE Transactions on Software Engineering 37 (4), 486-508, 2010 | 137 | 2010 |
| Automated testing of classes U Buy, A Orso, M Pezze ACM SIGSOFT Software Engineering Notes 25 (5), 39-48, 2000 | 136 | 2000 |
| Automatic recovery from runtime failures A Carzaniga, A Gorla, A Mattavelli, N Perino, M Pezze 2013 35th International Conference on Software Engineering (ICSE), 782-791, 2013 | 131 | 2013 |
| Visibility of control in adaptive systems. HA Müller, M Pezzè, M Shaw ULSSIS@ ICSE, 23-26, 2008 | 129 | 2008 |
| 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: International Seminar …, 2013 | 125 | 2013 |
| An introduction to software testing L Baresi, M Pezze Electronic Notes in Theoretical Computer Science 148 (1), 89-111, 2006 | 125 | 2006 |
| Translating code comments to procedure specifications A Blasi, A Goffi, K Kuznetsov, A Gorla, MD Ernst, M Pezzè, ... Proceedings of the 27th ACM SIGSOFT international symposium on software …, 2018 | 123 | 2018 |
| 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 | 112 | 1989 |
| Mining behavior models from user-intensive web applications C Ghezzi, M Pezzè, M Sama, G Tamburrelli Proceedings of the 36th international conference on software engineering …, 2014 | 110 | 2014 |
Leonardo MarianiUniversity of Milano - Bicocca在 unimib.it 的电子邮件经过验证
