Automatic generation of software behavioral models D Lorenzoli, L Mariani, M Pezzè Proceedings of the 30th international conference on Software engineering …, 2008 | 570 | 2008 |
Automatic software repair: A survey L Gazzola, D Micucci, L Mariani Proceedings of the 40th International Conference on Software Engineering …, 2018 | 443 | 2018 |
Automated identification of failure causes in system logs L Mariani, F Pastore 2008 19th International Symposium on Software Reliability Engineering (ISSRE …, 2008 | 182 | 2008 |
Automatic steering of behavioral model inference D Lo, L Mariani, M Pezzè Proceedings of the the 7th joint meeting of the European software …, 2009 | 147 | 2009 |
Automatic conformance testing of web services R Heckel, L Mariani Fundamental Approaches to Software Engineering, 34-48, 2005 | 147 | 2005 |
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 | 140 | 2012 |
Dynamic analysis for diagnosing integration faults L Mariani, F Pastore, M Pezze IEEE Transactions on Software Engineering 37 (4), 486-508, 2010 | 135 | 2010 |
Crowdoracles: Can the crowd solve the oracle problem? F Pastore, L Mariani, G Fraser 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 126 | 2013 |
18 run-time verification S Colin, L Mariani Model-Based Testing of Reactive Systems 3472, 525-555, 2005 | 120 | 2005 |
Dynamic detection of cots component incompatibility L Mariani, M Pezzè IEEE software 24 (5), 76-85, 2007 | 107 | 2007 |
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 | 103 | 2007 |
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 | 96 | 2018 |
Learning extended FSA from software: An empirical assessment D Lo, L Mariani, M Santoro Journal of Systems and Software 85 (9), 2063-2076, 2012 | 76 | 2012 |
Behavior capture and test: Automated analysis of component integration L Mariani, M Pezze 10th IEEE International Conference on Engineering of Complex Computer …, 2005 | 72 | 2005 |
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 | 67 | 2011 |
Ava: automated interpretation of dynamically detected anomalies A Babenko, L Mariani, F Pastore Proceedings of the eighteenth international symposium on Software testing …, 2009 | 67 | 2009 |
A fault taxonomy for component-based software L Mariani Electronic Notes in Theoretical Computer Science 82 (6), 55-65, 2003 | 66 | 2003 |
A technique for verifying component-based software L Mariani, M Pezze Electronic Notes in Theoretical Computer Science 116, 17-30, 2005 | 60 | 2005 |
Runtime failure prevention and reaction Y Falcone, L Mariani, A Rollet, S Saha Lectures on Runtime Verification: Introductory and Advanced Topics, 103-134, 2018 | 57 | 2018 |
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 | 57 | 2015 |