עקוב אחר
Mauro Pezzè
Mauro Pezzè
Professor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)
כתובת אימייל מאומתת בדומיין usi.ch - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
24152013
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‏
8472009
Software testing and analysis: process, principles, and techniques‏
M Pezzè, M Young‏
John Wiley & Sons, 2008‏
7452008
Automatic generation of software behavioral models‏
D Lorenzoli, L Mariani, M Pezzè‏
Proceedings of the 30th international conference on Software engineering …, 2008‏
5762008
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‏
5151991
An empirical evaluation of fault-proneness models‏
G Denaro, M Pezze‏
Proceedings of the 24th International Conference on Software Engineering …, 2002‏
1952002
On formalizing UML with high-level Petri nets‏
L Baresi, M Pezze‏
Concurrent object-oriented programming and petri nets: advances in petri …, 2001‏
1722001
Automatic steering of behavioral model inference‏
D Lo, L Mariani, M Pezzè‏
Proceedings of the 7th Joint Meeting Of The European Software Engineering …, 2009‏
1532009
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‏
1472012
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‏
1452016
Dynamic analysis for diagnosing integration faults‏
L Mariani, F Pastore, M Pezze‏
IEEE Transactions on Software Engineering 37 (4), 486-508, 2010‏
1392010
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‏
1392001
Automated testing of classes‏
U Buy, A Orso, M Pezze‏
ACM SIGSOFT Software Engineering Notes 25 (5), 39-48, 2000‏
1362000
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‏
1322013
Visibility of control in adaptive systems.‏
HA Müller, M Pezzè, M Shaw‏
ULSSIS@ ICSE, 23-26, 2008‏
1322008
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‏
1302013
An introduction to software testing‏
L Baresi, M Pezze‏
Electronic Notes in Theoretical Computer Science 148 (1), 89-111, 2006‏
1302006
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‏
1282018
Localizing faults in cloud systems‏
L Mariani, C Monni, M Pezzé, O Riganelli, R Xin‏
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018‏
1162018
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‏
1132014
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20