Leonardo Mariani
Title
Cited by
Cited by
Year
Automatic generation of software behavioral models
D Lorenzoli, L Mariani, M Pezzè
Proceedings of the 30th international conference on Software engineering …, 2008
4792008
Automatic conformance testing of web services
R Heckel, L Mariani
Fundamental Approaches to Software Engineering, 34-48, 2005
1322005
Automated identification of failure causes in system logs
L Mariani, F Pastore
2008 19th International Symposium on Software Reliability Engineering (ISSRE …, 2008
1242008
Automatic steering of behavioral model inference
D Lo, L Mariani, M Pezzè
Proceedings of the the 7th joint meeting of the European software …, 2009
1112009
Dynamic analysis for diagnosing integration faults
L Mariani, F Pastore, M Pezze
IEEE Transactions on Software Engineering 37 (4), 486-508, 2010
1102010
Automatic software repair: A survey
L Gazzola, D Micucci, L Mariani
IEEE Transactions on Software Engineering 45 (1), 34-67, 2017
1092017
18 Run-Time Verification
S Colin, L Mariani
Model-Based Testing of Reactive Systems, 525-555, 2005
1082005
Dynamic detection of cots component incompatibility
L Mariani, M Pezzè
IEEE software 24 (5), 76-85, 2007
942007
Crowdoracles: Can the crowd solve the oracle problem?
F Pastore, L Mariani, G Fraser
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
872013
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
832012
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
832007
Behavior capture and test: Automated analysis of component integration
L Mariani, M Pezze
10th IEEE International Conference on Engineering of Complex Computer …, 2005
642005
Learning extended FSA from software: An empirical assessment
D Lo, L Mariani, M Santoro
Journal of Systems and Software 85 (9), 2063-2076, 2012
562012
A technique for verifying component-based software
L Mariani, M Pezze
Electronic Notes in Theoretical Computer Science 116, 17-30, 2005
542005
A Fault Taxonomy for Component-Based Software.
L Mariani
Electron. Notes Theor. Comput. Sci. 82 (6), 55-65, 2003
522003
AutoBlackTest: a tool for automatic black-box testing
L Mariani, M Pezzè, O Riganelli, M Santoro
2011 33rd International Conference on Software Engineering (ICSE), 1013-1015, 2011
472011
Inferring state-based behavior models
D Lorenzoli, L Mariani, M Pezzè
Proceedings of the 2006 international workshop on Dynamic systems analysis …, 2006
472006
A model-driven approach to discovery, testing and monitoring of web services
M Lohmann, L Mariani, R Heckel
Test and Analysis of Web Services, 173-204, 2007
422007
Ava: automated interpretation of dynamically detected anomalies
A Babenko, L Mariani, F Pastore
Proceedings of the eighteenth international symposium on Software testing …, 2009
412009
An agent-based approach to tool integration
F Corradini, L Mariani, E Merelli
International Journal on Software Tools for Technology Transfer 6 (3), 231-244, 2004
392004
The system can't perform the operation now. Try again later.
Articles 1–20