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
5672008
Automatic software repair: A survey
L Gazzola, D Micucci, L Mariani
Proceedings of the 40th International Conference on Software Engineering …, 2018
4492018
Automated identification of failure causes in system logs
L Mariani, F Pastore
2008 19th International Symposium on Software Reliability Engineering (ISSRE …, 2008
1812008
Automatic steering of behavioral model inference
D Lo, L Mariani, M Pezzè
Proceedings of the the 7th joint meeting of the European software …, 2009
1472009
Automatic conformance testing of web services
R Heckel, L Mariani
Fundamental Approaches to Software Engineering, 34-48, 2005
1472005
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
1352010
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
1262013
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
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
972018
Learning extended FSA from software: An empirical assessment
D Lo, L Mariani, M Santoro
Journal of Systems and Software 85 (9), 2063-2076, 2012
762012
Behavior capture and test: Automated analysis of component integration
L Mariani, M Pezze
10th IEEE International Conference on Engineering of Complex Computer …, 2005
722005
Ava: automated interpretation of dynamically detected anomalies
A Babenko, L Mariani, F Pastore
Proceedings of the eighteenth international symposium on Software testing …, 2009
672009
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
A fault taxonomy for component-based software
L Mariani
Electronic Notes in Theoretical Computer Science 82 (6), 55-65, 2003
652003
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
592015
A technique for verifying component-based software
L Mariani, M Pezze
Electronic Notes in Theoretical Computer Science 116, 17-30, 2005
592005
Inferring state-based behavior models
D Lorenzoli, L Mariani, M Pezzè
Proceedings of the 2006 international workshop on Dynamic systems analysis …, 2006
562006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20