Seguir
Leonardo Mariani
Título
Citado por
Citado por
Año
Automatic generation of software behavioral models
D Lorenzoli, L Mariani, M Pezzè
Proceedings of the 30th international conference on Software engineering …, 2008
5662008
Automatic software repair: A survey
L Gazzola, D Micucci, L Mariani
Proceedings of the 40th International Conference on Software Engineering …, 2018
4332018
Automated identification of failure causes in system logs
L Mariani, F Pastore
2008 19th International Symposium on Software Reliability Engineering (ISSRE …, 2008
1812008
Automatic conformance testing of web services
R Heckel, L Mariani
Fundamental Approaches to Software Engineering, 34-48, 2005
1472005
Automatic steering of behavioral model inference
D Lo, L Mariani, M Pezzè
Proceedings of the the 7th joint meeting of the European software …, 2009
1442009
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
Dynamic analysis for diagnosing integration faults
L Mariani, F Pastore, M Pezze
IEEE Transactions on Software Engineering 37 (4), 486-508, 2010
1342010
Crowdoracles: Can the crowd solve the oracle problem?
F Pastore, L Mariani, G Fraser
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
1252013
18 run-time verification
S Colin, L Mariani
Model-Based Testing of Reactive Systems 3472, 525-555, 2005
1202005
Dynamic detection of cots component incompatibility
L Mariani, M Pezzè
IEEE software 24 (5), 76-85, 2007
1072007
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
1022007
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
892018
Learning extended FSA from software: An empirical assessment
D Lo, L Mariani, M Santoro
Journal of Systems and Software 85 (9), 2063-2076, 2012
752012
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
662011
Ava: automated interpretation of dynamically detected anomalies
A Babenko, L Mariani, F Pastore
Proceedings of the eighteenth international symposium on Software testing …, 2009
662009
A fault taxonomy for component-based software
L Mariani
Electronic Notes in Theoretical Computer Science 82 (6), 55-65, 2003
652003
A technique for verifying component-based software
L Mariani, M Pezze
Electronic Notes in Theoretical Computer Science 116, 17-30, 2005
602005
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
Inferring state-based behavior models
D Lorenzoli, L Mariani, M Pezzè
Proceedings of the 2006 international workshop on Dynamic systems analysis …, 2006
552006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20