Følg
Leonardo Mariani
Tittel
Sitert av
Sitert av
År
Automatic generation of software behavioral models
D Lorenzoli, L Mariani, M Pezzè
Proceedings of the 30th international conference on Software engineering …, 2008
5762008
Automatic software repair: A survey
L Gazzola, D Micucci, L Mariani
Proceedings of the 40th International Conference on Software Engineering …, 2018
5052018
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
1532009
Automatic conformance testing of web services
R Heckel, L Mariani
Fundamental Approaches to Software Engineering, 34-48, 2005
1502005
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
1472012
Dynamic analysis for diagnosing integration faults
L Mariani, F Pastore, M Pezze
IEEE Transactions on Software Engineering 37 (4), 486-508, 2010
1392010
18 run-time verification
S Colin, L Mariani
Model-Based Testing of Reactive Systems 3472, 525-555, 2005
129*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
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
1152018
Dynamic detection of cots component incompatibility
L Mariani, M Pezzè
IEEE software 24 (5), 76-85, 2007
1052007
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
792012
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
732011
Behavior capture and test: Automated analysis of component integration
L Mariani, M Pezze
10th IEEE International Conference on Engineering of Complex Computer …, 2005
702005
Ava: automated interpretation of dynamically detected anomalies
A Babenko, L Mariani, F Pastore
Proceedings of the eighteenth international symposium on Software testing …, 2009
682009
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
672015
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
612005
Augusto: Exploiting popular functionalities for the generation of semantic gui tests with oracles
L Mariani, M Pezzè, D Zuddas
Proceedings of the 40th international conference on software engineering …, 2018
582018
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20