Leonardo Mariani

Leonardo Mariani, Fabrizio Pastore: MASH: tool integration made easy. Softw., Pract. Exper. 43(4): 419-433 (2013)

Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti E. J. Hyvrinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig: PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464

Leonardo Mariani, Daniela Micucci: AuDeNTES: Automatic Detection of teNtative plagiarism according to a rEference Solution. TOCE 12(1): 2 (2012)

David Lo, Leonardo Mariani, Mauro Santoro: Learning extended FSA from software: An empirical assessment. Journal of Systems and Software 85(9): 2063-2076 (2012)

Giovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro: Extracting Widget Descriptions from GUIs. FASE 2012: 347-361

Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella: An empirical study about the effectiveness of debugging when random test cases are used. ICSE 2012: 452-462

Leonardo Mariani, Fabrizio Pastore: MASH: A tool for end-user plug-in composition. ICSE 2012: 1387-1390

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro: AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. ICST 2012: 81-90

Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler: Dynamic Analysis of Upgrades in C/C++ Software. ISSRE 2012: 91-100

Leonardo Mariani, Alessandro Marchetto, Cu D. Nguyen, Paolo Tonella, Arthur I. Baars: Revolution: Automatic Evolution of Mined Specifications. ISSRE 2012: 241-250

Fabio Gadducci, Leonardo Mariani: Preface. ECEASST 41 (2011)

Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè: Dynamic Analysis for Diagnosing Integration Faults. IEEE Trans. Software Eng. 37(4): 486-508 (2011)

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro: AutoBlackTest: a tool for automatic black-box testing. ICSE 2011: 1013-1015

Leonardo Mariani, Xiangyu Zhang (Eds.): Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011. ACM 2011, isbn 978-1-4503-0811-3

Alessandra Gorla, Mauro Pezzè, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore: Achieving Cost-Effective Software Reliability Through Self-Healing. Computing and Informatics 29(1): 93-115 (2010)

Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser: FITE: future integrated testing environment. FoSER 2010: 401-406

Hervé Chang, Leonardo Mariani, Mauro Pezzè: In-field healing of integration problems with COTS components. ICSE 2009: 166-176

Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè: A toolset for automated failure analysis. ICSE 2009: 563-566

Anton Babenko, Leonardo Mariani, Fabrizio Pastore: AVA: automated interpretation of dynamically detected anomalies. ISSTA 2009: 237-248

David Lo, Leonardo Mariani, Mauro Pezzè: Automatic steering of behavioral model inference. ESEC/SIGSOFT FSE 2009: 345-354

Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè: A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406

Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè: Automatic generation of software behavioral models. ICSE 2008: 501-510

Leonardo Mariani, Fabrizio Pastore: Automated Identification of Failure Causes in System Logs. ISSRE 2008: 117-126

Hervé Chang, Leonardo Mariani, Mauro Pezzè: Self-healing strategies for component integration faults. ASE Workshops 2008: 25-32

Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory: ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. ASE 2008: 529-530

Leonardo Mariani, Mauro Pezzè: Dynamic Detection of COTS Component Incompatibility. IEEE Software 24(5): 76-85 (2007)

Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè: Compatibility and Regression Testing of COTS-Component-Based Software. ICSE 2007: 85-95

Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè: Towards Self-Protecting Enterprise Applications. ISSRE 2007: 39-48

Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè: Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456

Domenico Cotroneo, Roberto Pietrantuono, Leonardo Mariani, Fabrizio Pastore: Investigation of failure causes in workload-driven reliability testing. SOQUA 2007: 78-85

Marc Lohmann, Leonardo Mariani, Reiko Heckel: A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. Test and Analysis of Web Services 2007: 173-204

Leonardo Mariani, Mauro Pezzè: A Technique for Verifying Component-Based Software. Electr. Notes Theor. Comput. Sci. 116: 17-30 (2005)

Giovanni Denaro, Leonardo Mariani: Towards Testing and Analysis of Systems that Use Serialization. Electr. Notes Theor. Comput. Sci. 116: 171-184 (2005)

Reiko Heckel, Leonardo Mariani: Automatic Conformance Testing of Web Services. FASE 2005: 34-48

Leonardo Mariani, Mauro Pezzè: Behavior Capture and Test: Automated Analysis of Component Integration. ICECCS 2005: 292-301

Leonardo Mariani: Fault-Tolerant Routing for P2P Systems with Unstructured Topology. SAINT 2005: 256-263

Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi: Adaptive Runtime Verification for Autonomic Communication Infrastructures. WOWMOM 2005: 553-557

Flavio De Paoli, Leonardo Mariani: Dependability in Peer-to-Peer Systems. IEEE Internet Computing 8(4): 54-61 (2004)

Flavio Corradini, Leonardo Mariani, Emanuela Merelli: An agent-based approach to tool integration. STTT 6(3): 231-244 (2004)

Séverine Colin, Leonardo Mariani: Run-Time Verification. Model-Based Testing of Reactive Systems 2004: 525-555

Leonardo Mariani, Mauro Pezzè, David Willmor: Generation of Integration Tests for Self-Testing Components. FORTE Workshops 2004: 337-350

Leonardo Mariani: Behavior Capture and Test for Verifying Evolving Component-Based Systems. ICSE 2004: 78-80

Leonardo Mariani: A Fault Taxonomy for Component-Based Software. Electr. Notes Theor. Comput. Sci. 82(6): 55-65 (2003)

Giovanni Denaro, Leonardo Mariani, Mauro Pezzè: Self-Test Components for Highly Reconfigurable Systems. Electr. Notes Theor. Comput. Sci. 82(6): 89-98 (2003)

Ezio Bartocci, Emanuela Merelli, Leonardo Mariani: An XML View of the "World". ICEIS (1) 2003: 19-27

Flavio Corradini, Leonardo Mariani, Emanuela Merelli: A Programming Environment for Global Activity-based Applications. WOA 2003: 163-169