ติดตาม
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
23292013
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
7832009
Software testing and analysis: process, principles, and techniques
M Pezzè, M Young
John Wiley & Sons, 2008
6952008
Automatic generation of software behavioral models
D Lorenzoli, L Mariani, M Pezzè
Proceedings of the 30th international conference on Software engineering …, 2008
5662008
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
4841991
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
1692001
Automatic steering of behavioral model inference
D Lo, L Mariani, M Pezzè
Proceedings of the 7th Joint Meeting Of The European Software Engineering …, 2009
1432009
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
1392012
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
1362001
Automated testing of classes
U Buy, A Orso, M Pezze
ACM SIGSOFT Software Engineering Notes 25 (5), 39-48, 2000
1362000
Dynamic analysis for diagnosing integration faults
L Mariani, F Pastore, M Pezze
IEEE Transactions on Software Engineering 37 (4), 486-508, 2010
1342010
Visibility of control in adaptive systems.
HA Müller, M Pezzè, M Shaw
ULSSIS@ ICSE, 23-26, 2008
1282008
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
1262013
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
1232013
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
1202016
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
1101989
An introduction to software testing
L Baresi, M Pezze
Electronic Notes in Theoretical Computer Science 148 (1), 89-111, 2006
1092006
Dynamic detection of cots component incompatibility
L Mariani, M Pezzè
IEEE software 24 (5), 76-85, 2007
1072007
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
1062018
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20