עקוב אחר
Leonardo Mariani
Leonardo Mariani
University of Milano - Bicocca
כתובת אימייל מאומתת בדומיין unimib.it - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Automatic generation of software behavioral models‏
D Lorenzoli, L Mariani, M Pezzè‏
Proceedings of the 30th international conference on Software engineering …, 2008‏
5772008
Automatic software repair: A survey‏
L Gazzola, D Micucci, L Mariani‏
Proceedings of the 40th International Conference on Software Engineering …, 2018‏
4932018
Automated identification of failure causes in system logs‏
L Mariani, F Pastore‏
2008 19th International Symposium on Software Reliability Engineering (ISSRE …, 2008‏
1822008
Automatic steering of behavioral model inference‏
D Lo, L Mariani, M Pezzè‏
Proceedings of the the 7th joint meeting of the European software …, 2009‏
1522009
Automatic conformance testing of web services‏
R Heckel, L Mariani‏
Fundamental Approaches to Software Engineering, 34-48, 2005‏
1482005
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‏
1452012
Dynamic analysis for diagnosing integration faults‏
L Mariani, F Pastore, M Pezze‏
IEEE Transactions on Software Engineering 37 (4), 486-508, 2010‏
1372010
18 run-time verification‏
S Colin, L Mariani‏
Model-Based Testing of Reactive Systems 3472, 525-555, 2005‏
130*2005
Crowdoracles: Can the crowd solve the oracle problem?‏
F Pastore, L Mariani, G Fraser‏
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013‏
1272013
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‏
1072018
Dynamic detection of cots component incompatibility‏
L Mariani, M Pezzè‏
IEEE software 24 (5), 76-85, 2007‏
1062007
Compatibility and regression testing of COTS-component-based software‏
L Mariani, S Papagiannakis, M Pezze‏
29th International Conference on Software Engineering (ICSE'07), 85-95, 2007‏
1032007
Learning extended FSA from software: An empirical assessment‏
D Lo, L Mariani, M Santoro‏
Journal of Systems and Software 85 (9), 2063-2076, 2012‏
782012
Behavior capture and test: Automated analysis of component integration‏
L Mariani, M Pezze‏
10th IEEE International Conference on Engineering of Complex Computer …, 2005‏
722005
AutoBlackTest: a tool for automatic black-box testing‏
L Mariani, M Pezzè, O Riganelli, M Santoro‏
Proceedings of the 33rd international conference on software engineering …, 2011‏
712011
Ava: automated interpretation of dynamically detected anomalies‏
A Babenko, L Mariani, F Pastore‏
Proceedings of the eighteenth international symposium on Software testing …, 2009‏
682009
A fault taxonomy for component-based software‏
L Mariani‏
Electronic Notes in Theoretical Computer Science 82 (6), 55-65, 2003‏
672003
Do automatically generated test cases make debugging easier? an experimental assessment of debugging effectiveness and efficiency‏
M Ceccato, A Marchetto, L Mariani, CD Nguyen, P Tonella‏
ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (1), 1-38, 2015‏
652015
A technique for verifying component-based software‏
L Mariani, M Pezze‏
Electronic Notes in Theoretical Computer Science 116, 17-30, 2005‏
592005
Runtime failure prevention and reaction‏
Y Falcone, L Mariani, A Rollet, S Saha‏
Lectures on Runtime Verification: Introductory and Advanced Topics, 103-134, 2018‏
572018
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20