Leonardo Mariani

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 138

Top Venues

Publications

Elena Masserini, Davide Ginelli, Daniela Micucci, Daniela Briola, Leonardo Mariani
Anonymizing Test Data in Android: Does It Hurt? AST@ICSE (2024)
Michael Ferdinando Urrico, Diego Clerissi, Leonardo Mariani
MutaBot: A Mutation Testing Approach for Chatbots. CoRR (2024)
Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Patrizio Pelliccione
Continuous Conformance of Software Architectures. ICSA (2024)
Maria Teresa Rossi, Alessandro Tundo, Leonardo Mariani
Towards Model-Driven Dashboard Generation for Systems-of-Systems. CoRR (2024)
Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
Assessing AI-Based Code Assistants in Method Generation Tasks. ICSE Companion (2024)
Federico Alessi, Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
ReProbes: An Architecture for Reconfigurable and Adaptive Probes. CoRR (2024)
Maria Teresa Rossi, Alessandro Tundo, Leonardo Mariani
Towards Model-Driven Dashboard Generation for Systems-of-Systems. SESoS@ICSE (2024)
Ionut Daniel Fagadau, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot. CoRR (2024)
Farideh Khalili, Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni
Semantic matching in GUI test reuse. Empir. Softw. Eng. 29 (3) (2024)
Michael Ferdinando Urrico, Diego Clerissi, Leonardo Mariani
MutaBot: A Mutation Testing Approach for Chatbots. ICSE Companion (2024)
Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants. CoRR (2024)
Ionut Daniel Fagadau, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot. ICPC (2024)
Qurban Ali, Oliviero Riganelli, Leonardo Mariani
Testing in the Evolving World of DL Systems:Insights from Python GitHub Projects. CoRR (2024)
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Automatic testing of runtime enforcers with Test4Enforcers. J. Syst. Softw. 210 (2024)
Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency. IEEE Trans. Software Eng. 50 (4) (2024)
Elena Masserini, Davide Ginelli, Daniela Micucci, Daniela Briola, Leonardo Mariani
Anonymizing Test Data in Android: Does It Hurt? CoRR (2024)
Luca Guglielmo, Leonardo Mariani, Giovanni Denaro
Measuring Software Testability via Automatically Generated Test Cases. IEEE Access 12 (2024)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Davide Ginelli, Leonardo Mariani, Adrián Santos Parrilla, Natalia Juristo
A family of experiments about how developers perceive delayed system response time. Softw. Qual. J. 32 (2) (2024)
Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
Assessing AI-Based Code Assistants in Method Generation Tasks. CoRR (2024)
Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants. ICPC (2024)
Diego Clerissi, Juri Di Rocco, Davide Di Ruscio, Claudio Di Sipio, Felicien Ihirwe, Leonardo Mariani, Daniela Micucci, Maria Teresa Rossi, Riccardo Rubei
Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques. CoRR (2023)
Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Marco Mobilio, Itai Segall, Alessandro Tundo, Luca Ussi
ExVivoMicroTest: ExVivo Testing of Microservices. J. Softw. Evol. Process. 35 (4) (2023)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Property-Based Mutation Testing. ICST (2023)
Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
Automated Probe Life-Cycle Management for Monitoring-As-a-Service. IEEE Trans. Serv. Comput. 16 (2) (2023)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Property-Based Mutation Testing. CoRR (2023)
Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. CoRR (2023)
Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. ASE (2023)
Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
Automated Probe Life-Cycle Management for Monitoring-as-a-Service. CoRR (2023)
Luca Guglielmo, Leonardo Mariani, Giovanni Denaro
Measuring Software Testability via Automatically Generated Test Cases. CoRR (2023)
Marco Mobilio, Diego Clerissi, Giovanni Denaro, Leonardo Mariani
GUI Testing to the Power of Parallel Q-Learning. ICSE Companion (2023)
Amleto Di Salle, Ludovico Iovino, Leonardo Mariani
Mastering Reference Architectures with Modeling Assistants. MoDELS (Companion) (2023)
Diego Clerissi, Juri Di Rocco, Davide Di Ruscio, Claudio Di Sipio, Felicien Ihirwe, Leonardo Mariani, Daniela Micucci, Maria Teresa Rossi, Riccardo Rubei
Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques. MoDELS (Companion) (2023)
Jacky Wai Keung, Leonardo Mariani, Jianwen Xiang, Xiao Yu
ISSRE 2021 special section. Inf. Softw. Technol. 159 (2023)
Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani
Proactive Libraries: Enforcing Correct Behaviors in Android Apps. CoRR (2022)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Search-based Testing for Accurate Fault Localization in CPS. ISSRE (2022)
Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler
Testing Software in Production Environments with Data from the Field. ICST (2022)
Farideh Khalili, Ali Mohebbi, Valerio Terragni, Mauro Pezzè, Leonardo Mariani, Abbas Heydarnoori
The ineffectiveness of domain-specific word embedding models for GUI test reuse. ICPC (2022)
Cecilio Cannavacciuolo, Leonardo Mariani
Smoke Testing of Cloud Systems. ICST (2022)
Davide Ginelli, Matias Martinez, Leonardo Mariani, Martin Monperrus
A comprehensive study of code-removal patches in automated program repair. Empir. Softw. Eng. 27 (4) (2022)
Vera Colombo, Alessandro Tundo, Michele Ciavotta, Leonardo Mariani
Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments. SEAMS (2022)
Cecilio Cannavacciuolo, Leonardo Mariani
Automatic generation of smoke test suites for kubernetes. ISSTA (2022)
Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Exception-Driven Fault Localization for Automated Program Repair. CoRR (2022)
Fabrizio Pastore, Daniela Micucci, Michell Guzman, Leonardo Mariani
TkT: Automatic Inference of Timed and Extended Pushdown Automata. IEEE Trans. Software Eng. 48 (2) (2022)
Vera Colombo, Alessandro Tundo, Michele Ciavotta, Leonardo Mariani
Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments. CoRR (2022)
Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani
Proactive Libraries: Enforcing Correct Behaviors in Android Apps. ICSE-Companion (2022)
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Non-functional Testing of Runtime Enforcers in Android. ISoLA (1) (2022)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
FIM: fault injection and mutation for Simulink. ESEC/SIGSOFT FSE (2022)
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Non-Functional Testing of Runtime Enforcers in Android. CoRR (2022)
Antonia Bertolino, Pietro Braione, Guglielmo De Angelis, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Roberto Pietrantuono, Stefano Russo, Paolo Tonella
A Survey of Field-based Testing Techniques. ACM Comput. Surv. 54 (5) (2021)
Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Exception-Driven Fault Localization for Automated Program Repair. QRS (2021)
Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
Declarative Dashboard Generation. CoRR (2021)
Matthias Güdemann, Leonardo Mariani
Preface to the special issue on improving software quality through program analysis. Softw. Qual. J. 29 (3) (2021)
Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni
Semantic matching of GUI events for test reuse: are we there yet? ISSTA (2021)
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
On introducing automatic test case generation in practice: A success story and lessons learned. J. Syst. Softw. 176 (2021)
Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas
An Evolutionary Approach to Adapt Tests Across Mobile Apps. AST@ICSE (2021)
Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani
Cloud Failure Prediction with Hierarchical Temporary Memory: An Empirical Assessment. CoRR (2021)
Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani
Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment. ICMLA (2021)
Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas
An Evolutionary Approach to Adapt Tests Across Mobile Apps. CoRR (2021)
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned. CoRR (2021)
Bernd Finkbeiner, Leonardo Mariani
Introduction to the special issue of the 19th International Conference on Runtime Verification. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
CPSDebug: Automatic failure explanation in CPS models. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella
A Framework for In-Vivo Testing of Mobile Applications. ICST (2020)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
CBR: Controlled Burst Recording. CoRR (2020)
Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Test4Enforcers: Test Case Generation for Software Enforcers. CoRR (2020)
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. CoRR (2020)
Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
Declarative Dashboard Generation. ISSRE Workshops (2020)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
In-The-Field Monitoring of Functional Calls: Is It Feasible? CoRR (2020)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
CBR: Controlled Burst Recording. ICST (2020)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA (2020)
Davide Ginelli, Matias Martinez, Leonardo Mariani, Martin Monperrus
A Comprehensive Study of Code-removal Patches in Automated Program Repair. CoRR (2020)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
In-the-field monitoring of functional calls: Is it feasible? J. Syst. Softw. 163 (2020)
Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Itai Segall, Luca Ussi
Automatic Ex-Vivo Regression Testing of Microservices. AST@ICSE (2020)
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps. CoRR (2020)
Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Test4Enforcers: Test Case Generation for Software Enforcers. RV (2020)
Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella
A Framework for In-Vivo Testing of Mobile Applications. CoRR (2020)
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Predicting failures in multi-tier distributed systems. J. Syst. Softw. 161 (2020)
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani
Data loss detector: automatically revealing data loss bugs in Android apps. ISSTA (2020)
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. ASE (2020)
Yliès Falcone, Leonardo Mariani
Preface to the special section on improving software quality through formal methods. Softw. Qual. J. 28 (2) (2020)
Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data. ASE (2020)
Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani
Anomaly Detection As-a-Service. CoRR (2019)
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Predicting Failures in Multi-Tier Distributed Systems. CoRR (2019)
Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani
A Benchmark of Data Loss Bugs for Android Apps. CoRR (2019)
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. ACM Trans. Auton. Adapt. Syst. 14 (2) (2019)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
Automatic Failure Explanation in CPS Models. CoRR (2019)
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps. Softw. Pract. Exp. 49 (3) (2019)
Daniela Briola, Daniela Micucci, Leonardo Mariani
A platform for P2P agent-based collaborative applications. Softw. Pract. Exp. 49 (3) (2019)
Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani
Anomaly Detection As-a-Service. ISSRE Workshops (2019)
Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmán, Leonardo Mariani
VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud. ESEC/SIGSOFT FSE (2019)
Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli
GUI testing in production: challenges and opportunities. Programming (2019)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
Automatic Failure Explanation in CPS Models. SEFM (2019)
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade. CoRR (2019)
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. CoRR (2019)
Mariano Ceccato, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella
Toward In-Vivo Testing of Mobile Applications. ISSRE Workshops (2019)
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade. ISSRE (2019)
Luca Gazzola, Daniela Micucci, Leonardo Mariani
Automatic Software Repair: A Survey. IEEE Trans. Software Eng. 45 (1) (2019)
Oscar Cornejo, Davide Ginelli, Daniela Briola, Daniela Micucci, Leonardo Mariani
Field Monitoring With Delayed Saving. IEEE Access 7 (2019)
Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani
A benchmark of data loss bugs for Android apps. MSR (2019)
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
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR (2019)
Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin
Localizing Faults in Cloud Systems. ICST (2018)

Leonardo Mariani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Leonardo Mariani