Leonardo Mariani

According to our database, Leonardo Mariani authored at least 156 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency.

Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani

IEEE Trans. Software Eng., April, 2024

Automatic testing of runtime enforcers with Test4Enforcers.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

J. Syst. Softw., April, 2024

ReProbes: An Architecture for Reconfigurable and Adaptive Probes.

Federico Alessi, Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani

CoRR, 2024

Towards Model-Driven Dashboard Generation for Systems-of-Systems.

Maria Teresa Rossi, Alessandro Tundo, Leonardo Mariani

CoRR, 2024

Assessing AI-Based Code Assistants in Method Generation Tasks.

Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli

CoRR, 2024

Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants.

Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli

CoRR, 2024

Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot.

Ionut Daniel Fagadau, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli

CoRR, 2024

Anonymizing Test Data in Android: Does It Hurt?

Elena Masserini, Davide Ginelli, Daniela Micucci, Daniela Briola, Leonardo Mariani

CoRR, 2024

MutaBot: A Mutation Testing Approach for Chatbots.

Michael Ferdinando Urrico, Diego Clerissi, Leonardo Mariani

CoRR, 2024

2023

ISSRE 2021 special section.

Jacky Wai Keung, Leonardo Mariani, Jianwen Xiang, Xiao Yu

Inf. Softw. Technol., July, 2023

ExVivoMicroTest: ExVivo Testing of Microservices.

Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Marco Mobilio, Itai Segall, Alessandro Tundo, Luca Ussi

J. Softw. Evol. Process., April, 2023

Automated Probe Life-Cycle Management for Monitoring-As-a-Service.

Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani

IEEE Trans. Serv. Comput., 2023

Measuring Software Testability via Automatically Generated Test Cases.

Luca Guglielmo, Leonardo Mariani, Giovanni Denaro

CoRR, 2023

Mastering Reference Architectures with Modeling Assistants.

Amleto Di Salle, Ludovico Iovino, Leonardo Mariani

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques.

Diego Clerissi, Juri Di Rocco, Davide Di Ruscio, Claudio Di Sipio, Felicien Ihirwe, Leonardo Mariani, Daniela Micucci, Maria Teresa Rossi, Riccardo Rubei

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge.

Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Property-Based Mutation Testing.

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

GUI Testing to the Power of Parallel Q-Learning.

Marco Mobilio, Diego Clerissi, Giovanni Denaro, Leonardo Mariani

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

TkT: Automatic Inference of Timed and Extended Pushdown Automata.

Fabrizio Pastore, Daniela Micucci, Michell Guzmán, Leonardo Mariani

IEEE Trans. Software Eng., 2022

A comprehensive study of code-removal patches in automated program repair.

Davide Ginelli, Matias Martinez, Leonardo Mariani, Martin Monperrus

Empir. Softw. Eng., 2022

A Survey of Field-based Testing Techniques.

Antonia Bertolino, Pietro Braione, Guglielmo De Angelis, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Roberto Pietrantuono, Stefano Russo, Paolo Tonella

ACM Comput. Surv., 2022

FIM: fault injection and mutation for Simulink.

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments.

Vera Colombo, Alessandro Tundo, Michele Ciavotta, Leonardo Mariani

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

The ineffectiveness of domain-specific word embedding models for GUI test reuse.

Farideh Khalili, Ali Mohebbi, Valerio Terragni, Mauro Pezzè, Leonardo Mariani, Abbas Heydarnoori

Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022

Automatic generation of smoke test suites for kubernetes.

Cecilio Cannavacciuolo, Leonardo Mariani

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Search-based Testing for Accurate Fault Localization in CPS.

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Non-functional Testing of Runtime Enforcers in Android.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Testing Software in Production Environments with Data from the Field.

Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Smoke Testing of Cloud Systems.

Cecilio Cannavacciuolo, Leonardo Mariani

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Proactive Libraries: Enforcing Correct Behaviors in Android Apps.

Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Introduction to the special issue of the 19th International Conference on Runtime Verification.

Bernd Finkbeiner, Leonardo Mariani

Int. J. Softw. Tools Technol. Transf., 2021

CPSDebug: Automatic failure explanation in CPS models.

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic

Int. J. Softw. Tools Technol. Transf., 2021

Preface to the special issue on improving software quality through program analysis.

Matthias Güdemann, Leonardo Mariani

Softw. Qual. J., 2021

On introducing automatic test case generation in practice: A success story and lessons learned.

Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè

J. Syst. Softw., 2021

Cloud Failure Prediction with Hierarchical Temporary Memory: An Empirical Assessment.

Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani

CoRR, 2021

Exception-Driven Fault Localization for Automated Program Repair.

Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Semantic matching of GUI events for test reuse: are we there yet?

Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment.

Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

An Evolutionary Approach to Adapt Tests Across Mobile Apps.

Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas

Proceedings of the 2nd IEEE/ACM International Conference on Automation of Software Test, 2021

2020

Preface to the special section on improving software quality through formal methods.

Yliès Falcone, Leonardo Mariani

Softw. Qual. J., 2020

Predicting failures in multi-tier distributed systems.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin

J. Syst. Softw., 2020

In-the-field monitoring of functional calls: Is it feasible?

Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani

J. Syst. Softw., 2020

Test4Enforcers: Test Case Generation for Software Enforcers.

Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the Runtime Verification - 20th International Conference, 2020

FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades.

Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data.

Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Data loss detector: automatically revealing data loss bugs in Android apps.

Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

CPSDebug: a tool for explanation of failures in cyber-physical systems.

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Declarative Dashboard Generation.

Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

CBR: Controlled Burst Recording.

Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

A Framework for In-Vivo Testing of Mobile Applications.

Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Automatic Ex-Vivo Regression Testing of Microservices.

Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Itai Segall, Luca Ussi

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

2019

Automatic Software Repair: A Survey.

Luca Gazzola, Daniela Micucci, Leonardo Mariani

IEEE Trans. Software Eng., 2019

Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

ACM Trans. Auton. Adapt. Syst., 2019

From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Softw. Pract. Exp., 2019

A platform for P2P agent-based collaborative applications.

Daniela Briola, Daniela Micucci, Leonardo Mariani

Softw. Pract. Exp., 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.

Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz

CoRR, 2019

Field Monitoring With Delayed Saving.

Oscar Cornejo, Davide Ginelli, Daniela Briola, Daniela Micucci, Leonardo Mariani

IEEE Access, 2019

VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud.

Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmán, Leonardo Mariani

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Automatic Failure Explanation in CPS Models.

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

GUI testing in production: challenges and opportunities.

Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

A benchmark of data loss bugs for Android apps.

Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade.

Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Anomaly Detection As-a-Service.

Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Toward In-Vivo Testing of Mobile Applications.

Mariano Ceccato, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2018

Runtime Failure Prevention and Reaction.

Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Random or evolutionary search for object-oriented test suite generation?

Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri

Softw. Test. Verification Reliab., 2018

Model-Based Monitoring for IoTs Smart Cities Applications.

Matteo Orrù, Marco Mobilio, Anas Shatnawi, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani

CoRR, 2018

Increasing the Reusability of Enforcers with Lifecycle Events.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

The Next Generation Platform as a Service Cloudifying Service Deployments in Telco-Operators Infrastructure.

Angelos Mimidis, Eder Ollora, José Soler, Bessem Sayadi, Laurent Roullet, Steven van Rossem, Sebastien Pinneterre, Michele Paolino, Daniel Raho, Xuan Du, Julian Chesterfield, Michail Flouris, Leonardo Mariani, Oliviero Riganelli, Marco Mobilio, Aurora Ramos, Ignacio Labrador, Adam Broadbent, Paul Veitch, Maurice Zembra

Proceedings of the 25th International Conference on Telecommunications, 2018

Localizing Faults in Cloud Systems.

Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Cloudhealth: a model-driven approach to watch the health of cloud services.

Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani

Proceedings of the 1st International Workshop on Software Health, 2018

Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles.

Leonardo Mariani, Mauro Pezzè, Daniele Zuddas

Proceedings of the 40th International Conference on Software Engineering, 2018

Re-Factored Operational Support Systems for the Next Generation Platform-as-a-Service (NGPaaS).

Paul Veitch, Adam Broadbent, Steven van Rossem, Bessem Sayadi, Lionel Natarianni, Bilal Al Jammal, Laurent Roullet, Angelos Mimidis, Eder Ollora, José Soler, Sebastien Pinneterre, Michele Paolino, Aurora Ramos, X. Du, Michail Flouris, Leonardo Mariani, Oliviero Riganelli, Marco Mobilio, Anas Shatnawi, Matteo Orrù, Maurice Zembra

Proceedings of the IEEE 5G World Forum, 2018

2017

GK-Tail+ An Efficient Approach to Learn Software Models.

Leonardo Mariani, Mauro Pezzè, Mauro Santoro

IEEE Trans. Software Eng., 2017

The central role of test automation in software quality assurance.

Leonardo Mariani, Dan Hao, Rajesh Subramanyan, Hong Zhu

Softw. Qual. J., 2017

Fragmented Monitoring.

Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani

Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

In The Field Monitoring of Interactive Applications.

Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani

CoRR, 2017

BDCI: behavioral driven conflict identification.

Fabrizio Pastore, Leonardo Mariani, Daniela Micucci

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

VART: a tool for the automatic detection of regression faults.

Fabrizio Pastore, Leonardo Mariani

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Verifying Policy Enforcers.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone

Proceedings of the Runtime Verification - 17th International Conference, 2017

An Exploratory Study of Field Failures.

Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Timed k-Tail: Automatic Inference of Timed Automata.

Fabrizio Pastore, Daniela Micucci, Leonardo Mariani

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Policy Enforcement with Proactive Libraries.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

In the Field Monitoring of Interactive Application.

Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

2016

Numerical evaluation of the low Reynolds turbulent flow behaviour in a bioreactor.

Daniela Micucci, Leonardo Mariani

Int. J. Simul. Process. Model., 2016

Healing Data Loss Problems in Android Apps.

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions.

Fabrizio Pastore, Leonardo Mariani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency.

Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella

ACM Trans. Softw. Eng. Methodol., 2015

Recent Advances in Automatic Black-Box Testing.

Leonardo Mariani, Mauro Pezzè, Daniele Zuddas

Adv. Comput., 2015

10th International Workshop on Automation of Software Test (AST 2015).

Rajesh Subramanyan, Leonardo Mariani, Dan Hao

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

ZoomIn: Discovering Failures by Detecting Wrong Assertions.

Fabrizio Pastore, Leonardo Mariani

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015).

Gordon Fraser, Thomas D. LaToza, Leonardo Mariani

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Regression Checking of Changes in C Software.

Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad

Proceedings of the Validation of Evolving Software, 2015

RADAR: Dynamic Analysis of Upgrades in C/C++ Software.

Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler

Proceedings of the Validation of Evolving Software, 2015

G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software.

Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Ali Muhammad

Proceedings of the Validation of Evolving Software, 2015

Complementarities Among the Technologies Presented in the Book.

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

Challenges of Existing Technology.

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

Introduction.

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

2014

Automatic testing of GUI-based applications.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Softw. Test. Verification Reliab., 2014

MIMIC: locating and understanding bugs by analyzing mimicked executions.

Daniele Zuddas, Wei Jin, Fabrizio Pastore, Leonardo Mariani, Alessandro Orso

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Verification-aided regression testing.

Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Link: exploiting the web of data to generate test inputs.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Early Conflict Detection with Mined Models.

Leonardo Mariani, Daniela Micucci, Fabrizio Pastore

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

Exception handlers for healing component-based systems.

Hervé Chang, Leonardo Mariani, Mauro Pezzè

ACM Trans. Softw. Eng. Methodol., 2013

MASH: tool integration made easy.

Leonardo Mariani, Fabrizio Pastore

Softw. Pract. Exp., 2013

CrowdOracles: Can the Crowd Solve the Oracle Problem?

Fabrizio Pastore, Leonardo Mariani, Gordon Fraser

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

AVA: Supporting Debugging with Failure Interpretations.

Fabrizio Pastore, Leonardo Mariani

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

RADAR: a tool for debugging regression problems in C/C++ software.

Fabrizio Pastore, Leonardo Mariani, Alberto Goffi

Proceedings of the 35th International Conference on Software Engineering, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.

Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012

Learning extended FSA from software: An empirical assessment.

David Lo, Leonardo Mariani, Mauro Santoro

J. Syst. Softw., 2012

AuDeNTES: Automatic Detection of teNtative plagiarism according to a rEference Solution.

Leonardo Mariani, Daniela Micucci

ACM Trans. Comput. Educ., 2012

Dynamic Analysis of Upgrades in C/C++ Software.

Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Revolution: Automatic Evolution of Mined Specifications.

Leonardo Mariani, Alessandro Marchetto, Cu D. Nguyen, Paolo Tonella, Arthur I. Baars

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

AutoBlackTest: Automatic Black-Box Testing of Interactive Applications.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

G-RankTest: Regression testing of controller applications.

Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Muhammad Ali

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

MASH: A tool for end-user plug-in composition.

Leonardo Mariani, Fabrizio Pastore

Proceedings of the 34th International Conference on Software Engineering, 2012

An empirical study about the effectiveness of debugging when random test cases are used.

Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella

Proceedings of the 34th International Conference on Software Engineering, 2012

Extracting Widget Descriptions from GUIs.

Giovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Dynamic Analysis for Diagnosing Integration Faults.

Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè

IEEE Trans. Software Eng., 2011

Preface.

Fabio Gadducci, Leonardo Mariani

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

AutoBlackTest: a tool for automatic black-box testing.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Proceedings of the 33rd International Conference on Software Engineering, 2011

Supporting plug-in mashes to ease tool integration.

Leonardo Mariani, Fabrizio Pastore

Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011

2010

Achieving Cost-Effective Software Reliability Through Self-Healing.

Alessandra Gorla, Mauro Pezzè, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore

Comput. Informatics, 2010

SEIM: static extraction of interaction models.

Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro

Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, 2010

FITE - Future Integrated Testing Environment.

Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

Automatic steering of behavioral model inference.

David Lo, Leonardo Mariani, Mauro Pezzè

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

AVA: automated interpretation of dynamically detected anomalies.

Anton Babenko, Leonardo Mariani, Fabrizio Pastore

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

A toolset for automated failure analysis.

Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè

Proceedings of the 31st International Conference on Software Engineering, 2009

In-field healing of integration problems with COTS components.

Hervé Chang, Leonardo Mariani, Mauro Pezzè

Proceedings of the 31st International Conference on Software Engineering, 2009

Self-Healing and Recovery Methods and their Classification.

Onn Shehory, Josu Martinez, Artur Andrzejak, Cinzia Cappiello, Wlodzimierz Funika, Derrick Kondo, Leonardo Mariani, Benjamin Satzger, Markus Schmid

Proceedings of the Self-Healing and Self-Adaptive Systems, 10.05. - 15.05.2009, 2009

2008

Self-healing strategies for component integration faults.

Hervé Chang, Leonardo Mariani, Mauro Pezzè

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems.

Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Automated Identification of Failure Causes in System Logs.

Leonardo Mariani, Fabrizio Pastore

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Automatic generation of software behavioral models.

Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Formal Framework for Developing Adaptable Service-Based Applications.

Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Dynamic Detection of COTS Component Incompatibility.

Leonardo Mariani, Mauro Pezzè

IEEE Softw., 2007

A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.

Marc Lohmann, Leonardo Mariani, Reiko Heckel

Proceedings of the Test and Analysis of Web Services, 2007

Investigation of failure causes in workload-driven reliability testing.

Domenico Cotroneo, Roberto Pietrantuono, Leonardo Mariani, Fabrizio Pastore

Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007

Iterative model-driven development of adaptable service-based applications.

Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Towards Self-Protecting Enterprise Applications.

Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè

Proceedings of the ISSRE 2007, 2007

Compatibility and Regression Testing of COTS-Component-Based Software.

Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2005

Adaptive Runtime Verification for Autonomic Communication Infrastructures.

Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi

Proceedings of the 2005 International Conference on a World of Wireless, 2005

Fault-Tolerant Routing for P2P Systems with Unstructured Topology.

Leonardo Mariani

Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2005), 31 January, 2005

Behavior Capture and Test: Automated Analysis of Component Integration.

Leonardo Mariani, Mauro Pezzè

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Automatic Conformance Testing of Web Services.

Reiko Heckel, Leonardo Mariani

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

An agent-based approach to tool integration.

Flavio Corradini, Leonardo Mariani, Emanuela Merelli

Int. J. Softw. Tools Technol. Transf., 2004

Dependability in Peer-to-Peer Systems.

Flavio De Paoli, Leonardo Mariani

IEEE Internet Comput., 2004

A Technique for Verifying Component-Based Software.

Leonardo Mariani, Mauro Pezzè

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Towards Testing and Analysis of Systems that Use Serialization.

Giovanni Denaro, Leonardo Mariani

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Behavior Capture and Test for Verifying Evolving Component-Based Systems.

Leonardo Mariani

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Generation of Integration Tests for Self-Testing Components.

Leonardo Mariani, Mauro Pezzè, David Willmor

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Run-Time Verification.

Séverine Colin, Leonardo Mariani

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

A Fault Taxonomy for Component-Based Software.

Leonardo Mariani

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Self-Test Components for Highly Reconfigurable Systems.

Giovanni Denaro, Leonardo Mariani, Mauro Pezzè

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

A Programming Environment for Global Activity-based Applications.

Flavio Corradini, Leonardo Mariani, Emanuela Merelli

Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

An XML View of the "World".

Ezio Bartocci, Emanuela Merelli, Leonardo Mariani

Proceedings of the ICEIS 2003, 2003