Leonardo Mariani

247 papers A* 17A 34B 9C 7Journal 110Unranked 57
YearRankTypeTitle / Venue / Authors
2026 J jnl
"Where is My Troubleshooting Procedure?": Studying the Potential of RAG in Assisting Failure Resolution of Large Cyber-Physical System.
CoRR
Maria Teresa Rossi, Leonardo Mariani, Oliviero Riganelli, Giuseppe Filomento, Danilo Giannone, Paolo Gavazzo
2026 J jnl
Assessing Task-based Chatbots: Snapshot and Curated Datasets for Dialogflow.
CoRR
Elena Masserini, Diego Clerissi, Daniela Micucci, Leonardo Mariani
2026 J jnl
Automated Testing of Task-based Chatbots: How Far Are We?
CoRR
Diego Clerissi, Elena Masserini, Daniela Micucci, Leonardo Mariani
2026 J jnl
Coverage-Guided Road Selection and Prioritization for Efficient Testing in Autonomous Driving Systems.
CoRR
Qurban Ali, Andrea Stocco, Leonardo Mariani, Oliviero Riganelli
2026 J jnl
GreenServ: Energy-Efficient Context-Aware Dynamic Routing for Multi-Model LLM Inference.
CoRR
Thomas Ziller, Shashikant Ilager, Alessandro Tundo, Ezio Bartocci, Leonardo Mariani, Ivona Brandic
2025 — conf
Bug Whispering: Towards Audio Bug Reporting.
ISSREW
Elena Masserini, Daniela Micucci, Leonardo Mariani
2025 J jnl
Bug Whispering: Towards Audio Bug Reporting.
CoRR
Elena Masserini, Daniela Micucci, Leonardo Mariani
2025 J jnl
E-Test: E'er-Improving Test Suites.
CoRR
Ketai Qiu, Luca Di Grazia, Leonardo Mariani, Mauro Pezzè
2025 — conf
From PREVENTion to REACTion: Enhancing Failure Resolution in Naval Systems.
ISSREW
Maria Teresa Rossi, Leonardo Mariani, Oliviero Riganelli
2025 J jnl
From PREVENTion to REACTion: Enhancing Failure Resolution in Naval Systems.
CoRR
Maria Teresa Rossi, Leonardo Mariani, Oliviero Riganelli
2025 J jnl
How low-code platforms support digital twins of processes.
Softw. Syst. Model.
Arianna Fedeli, Amleto Di Salle, Daniela Micucci, Luciana Rebelo, Maria Teresa Rossi, Leonardo Mariani, Ludovico Iovino
2025 — conf
MultiMind: A Plug-in for the Implementation of Development Tasks Aided by AI Assistants.
SIGSOFT FSE Companion
Benedetta Donato, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli, Marco Somaschini
2025 J jnl
MultiMind: A Plug-in for the Implementation of Development Tasks Aided by AI Assistants.
CoRR
Benedetta Donato, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli, Marco Somaschini
2025 A conf
On the Possibility of Breaking Copyleft Licenses When Reusing Code Generated by ChatGPT.
ICPC
Gaia Colombo, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
2025 J jnl
On the Possibility of Breaking Copyleft Licenses When Reusing Code Generated by ChatGPT.
CoRR
Gaia Colombo, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
2025 — conf
OpenCat: Improving Interoperability of ADS Testing.
DeepTest
Qurban Ali, Andrea Stocco, Leonardo Mariani, Oliviero Riganelli
2025 J jnl
OpenCat: Improving Interoperability of ADS Testing.
CoRR
Qurban Ali, Andrea Stocco, Leonardo Mariani, Oliviero Riganelli
2025 J jnl
Signal Feature Coverage and Testing for CPS Dataflow Models.
ACM Trans. Softw. Eng. Methodol.
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2025 — conf
Students' Perception of ChatGPT in Software Engineering: Lessons Learned from Five Courses.
CSEE&T
Luciano Baresi, Andrea De Lucia, Antinisca Di Marco, Massimiliano Di Penta, Davide Di Ruscio, Leonardo Mariani, Daniela Micucci, Fabio Palomba, Maria Teresa Rossi, Fiorella Zampetti
2025 A conf
Studying How Configurations Impact Code Generation in LLMs: The Case of ChatGPT.
ICPC
Benedetta Donato, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
2025 J jnl
Studying How Configurations Impact Code Generation in LLMs: the Case of ChatGPT.
CoRR
Benedetta Donato, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
2025 — conf
Test Case Generation for Dialogflow Task-Based Chatbots.
ICSTW
Rocco Gianni Rapisarda, Davide Ginelli, Diego Clerissi, Leonardo Mariani
2025 J jnl
Test Case Generation for Dialogflow Task-Based Chatbots.
CoRR
Rocco Gianni Rapisarda, Davide Ginelli, Diego Clerissi, Leonardo Mariani
2025 — conf
Towards Multi-Platform Mutation Testing of Task-Based Chatbots.
ISSREW
Diego Clerissi, Elena Masserini, Daniela Micucci, Leonardo Mariani
2025 J jnl
Towards Multi-Platform Mutation Testing of Task-based Chatbots.
CoRR
Diego Clerissi, Elena Masserini, Daniela Micucci, Leonardo Mariani
2025 A conf
Towards the Assessment of Task-based Chatbots: From the TOFU-R Snapshot to the BRASATO Curated Dataset.
ISSRE
Elena Masserini, Diego Clerissi, Daniela Micucci, João R. Campos, Leonardo Mariani
2025 J jnl
Towards the Assessment of Task-based Chatbots: From the TOFU-R Snapshot to the BRASATO Curated Dataset.
CoRR
Elena Masserini, Diego Clerissi, Daniela Micucci, João R. Campos, Leonardo Mariani
2024 J jnl
A family of experiments about how developers perceive delayed system response time.
Softw. Qual. J.
Oscar Cornejo, Daniela Briola, Daniela Micucci, Davide Ginelli, Leonardo Mariani, Adrián Santos Parrilla, Natalia Juristo
2024 A conf
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot.
ICPC
Ionut Daniel Fagadau, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
2024 J jnl
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot.
CoRR
Ionut Daniel Fagadau, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
2024 C conf
Anonymizing Test Data in Android: Does It Hurt?
AST
Elena Masserini, Davide Ginelli, Daniela Micucci, Daniela Briola, Leonardo Mariani
2024 J jnl
Anonymizing Test Data in Android: Does It Hurt?
CoRR
Elena Masserini, Davide Ginelli, Daniela Micucci, Daniela Briola, Leonardo Mariani
2024 — conf
Assessing AI-Based Code Assistants in Method Generation Tasks.
ICSE Companion
Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
2024 J jnl
Assessing AI-Based Code Assistants in Method Generation Tasks.
CoRR
Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
2024 J jnl
Automatic testing of runtime enforcers with Test4Enforcers.
J. Syst. Softw.
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2024 B conf
COBOL: COmmunity-Based Organized Littering.
SEAA
Luciano Baresi, Simone Bianco, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Daniela Micucci, Luciana Brasil Rebelo dos Santos, Maria Teresa Rossi, Raimondo Schettini
2024 A conf
Continuous Conformance of Software Architectures.
ICSA
Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Patrizio Pelliccione
2024 J jnl
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing.
IEEE Trans. Software Eng.
Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani
2024 J jnl
FILO: Automated FIx-LOcus Identification for Android Framework Compatibility Issues.
Inf.
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2024 A conf
Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants.
ICPC
Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
2024 J jnl
Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants.
CoRR
Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli
2024 J jnl
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency.
IEEE Trans. Software Eng.
Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani
2024 J jnl
Measuring Software Testability via Automatically Generated Test Cases.
IEEE Access
Luca Guglielmo, Leonardo Mariani, Giovanni Denaro
2024 J jnl
Monitoring Probe Deployment Patterns for Cloud-Native Applications: Definition and Empirical Assessment.
IEEE Trans. Serv. Comput.
Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
2024 — conf
MutaBot: A Mutation Testing Approach for Chatbots.
ICSE Companion
Michael Ferdinando Urrico, Diego Clerissi, Leonardo Mariani
2024 J jnl
MutaBot: A Mutation Testing Approach for Chatbots.
CoRR
Michael Ferdinando Urrico, Diego Clerissi, Leonardo Mariani
2024 — conf
ReProbe: An Architecture for Reconfigurable and Adaptive Probes.
ICSA-C
Federico Alessi, Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
2024 J jnl
ReProbes: An Architecture for Reconfigurable and Adaptive Probes.
CoRR
Federico Alessi, Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
2024 J jnl
Scoping Software Engineering for AI: The TSE Perspective.
IEEE Trans. Software Eng.
Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2024 J jnl
Semantic matching in GUI test reuse.
Empir. Softw. Eng.
Farideh Khalili, Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni
2024 C conf
Testing in the Evolving World of DL Systems: Insights from Python GitHub Projects.
QRS
Qurban Ali, Oliviero Riganelli, Leonardo Mariani
2024 J jnl
Testing in the Evolving World of DL Systems:Insights from Python GitHub Projects.
CoRR
Qurban Ali, Oliviero Riganelli, Leonardo Mariani
2024 — conf
Towards Model-Driven Dashboard Generation for Systems-of-Systems.
SESoS
Maria Teresa Rossi, Alessandro Tundo, Leonardo Mariani
2024 J jnl
Towards Model-Driven Dashboard Generation for Systems-of-Systems.
CoRR
Maria Teresa Rossi, Alessandro Tundo, Leonardo Mariani
2024 — conf
Waste Management Through Digital Twins and Business Process Modeling.
MoDELS (Companion)
Amleto Di Salle, Arianna Fedeli, Ludovico Iovino, Leonardo Mariani, Daniela Micucci, Luciana Rebelo, Maria Teresa Rossi
2023 A* conf
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge.
ASE
Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani
2023 J jnl
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge.
CoRR
Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani
2023 J jnl
Automated Probe Life-Cycle Management for Monitoring-As-a-Service.
IEEE Trans. Serv. Comput.
Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
2023 J jnl
Automated Probe Life-Cycle Management for Monitoring-as-a-Service.
CoRR
Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
2023 J jnl
ExVivoMicroTest: ExVivo Testing of Microservices.
J. Softw. Evol. Process.
Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Marco Mobilio, Itai Segall, Alessandro Tundo, Luca Ussi
2023 — conf
GUI Testing to the Power of Parallel Q-Learning.
ICSE Companion
Marco Mobilio, Diego Clerissi, Giovanni Denaro, Leonardo Mariani
2023 J jnl
ISSRE 2021 special section.
Inf. Softw. Technol.
Jacky Wai Keung, Leonardo Mariani, Jianwen Xiang, Xiao Yu
2023 — conf
Mastering Reference Architectures with Modeling Assistants.
MoDELS (Companion)
Amleto Di Salle, Ludovico Iovino, Leonardo Mariani
2023 J jnl
Measuring Software Testability via Automatically Generated Test Cases.
CoRR
Luca Guglielmo, Leonardo Mariani, Giovanni Denaro
2023 A conf
Property-Based Mutation Testing.
ICST
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2023 J jnl
Property-Based Mutation Testing.
CoRR
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2023 — conf
Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques.
MoDELS (Companion)
Diego Clerissi, Juri Di Rocco, Davide Di Ruscio, Claudio Di Sipio, Felicien Ihirwe, Leonardo Mariani, Daniela Micucci, Maria Teresa Rossi, Riccardo Rubei
2023 J jnl
Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques.
CoRR
Diego Clerissi, Juri Di Rocco, Davide Di Ruscio, Claudio Di Sipio, Felicien Ihirwe, Leonardo Mariani, Daniela Micucci, Maria Teresa Rossi, Riccardo Rubei
2022 J jnl
A Survey of Field-based Testing Techniques.
ACM Comput. Surv.
Antonia Bertolino, Pietro Braione, Guglielmo De Angelis, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Roberto Pietrantuono, Stefano Russo, Paolo Tonella
2022 J jnl
A comprehensive study of code-removal patches in automated program repair.
Empir. Softw. Eng.
Davide Ginelli, Matias Martinez, Leonardo Mariani, Martin Monperrus
2022 A conf
Automatic generation of smoke test suites for kubernetes.
ISSTA
Cecilio Cannavacciuolo, Leonardo Mariani
2022 J jnl
Exception-Driven Fault Localization for Automated Program Repair.
CoRR
Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2022 — conf
FIM: fault injection and mutation for Simulink.
ESEC/SIGSOFT FSE
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2022 J jnl
Non-Functional Testing of Runtime Enforcers in Android.
CoRR
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2022 — conf
Non-functional Testing of Runtime Enforcers in Android.
ISoLA (1)
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2022 — conf
Proactive Libraries: Enforcing Correct Behaviors in Android Apps.
ICSE-Companion
Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani
2022 J jnl
Proactive Libraries: Enforcing Correct Behaviors in Android Apps.
CoRR
Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani
2022 A conf
Search-based Testing for Accurate Fault Localization in CPS.
ISSRE
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
2022 A conf
Smoke Testing of Cloud Systems.
ICST
Cecilio Cannavacciuolo, Leonardo Mariani
2022 A conf
Testing Software in Production Environments with Data from the Field.
ICST
Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler
2022 A conf
The ineffectiveness of domain-specific word embedding models for GUI test reuse.
ICPC
Farideh Khalili, Ali Mohebbi, Valerio Terragni, Mauro Pezzè, Leonardo Mariani, Abbas Heydarnoori
2022 J jnl
TkT: Automatic Inference of Timed and Extended Pushdown Automata.
IEEE Trans. Software Eng.
Fabrizio Pastore, Daniela Micucci, Michell Guzmán, Leonardo Mariani
2022 A conf
Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments.
SEAMS
Vera Colombo, Alessandro Tundo, Michele Ciavotta, Leonardo Mariani
2022 J jnl
Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments.
CoRR
Vera Colombo, Alessandro Tundo, Michele Ciavotta, Leonardo Mariani
2021 A ed.
32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021
ISSRE
Zhi Jin, Xuandong Li, Jianwen Xiang, Leonardo Mariani, Ting Liu, Xiao Yu, Nahgmeh Ivaki
2021 C conf
An Evolutionary Approach to Adapt Tests Across Mobile Apps.
AST
Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas
2021 J jnl
An Evolutionary Approach to Adapt Tests Across Mobile Apps.
CoRR
Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas
2021 J jnl
CPSDebug: Automatic failure explanation in CPS models.
Int. J. Softw. Tools Technol. Transf.
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2021 C conf
Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment.
ICMLA
Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani
2021 J jnl
Cloud Failure Prediction with Hierarchical Temporary Memory: An Empirical Assessment.
CoRR
Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani
2021 J jnl
Declarative Dashboard Generation.
CoRR
Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
2021 C conf
Exception-Driven Fault Localization for Automated Program Repair.
QRS
Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2021 J jnl
Introduction to the special issue of the 19th International Conference on Runtime Verification.
Int. J. Softw. Tools Technol. Transf.
Bernd Finkbeiner, Leonardo Mariani
2021 J jnl
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned.
CoRR
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
2021 J jnl
On introducing automatic test case generation in practice: A success story and lessons learned.
J. Syst. Softw.
Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè
2021 J jnl
Preface to the special issue on improving software quality through program analysis.
Softw. Qual. J.
Matthias Güdemann, Leonardo Mariani
2021 A conf
Semantic matching of GUI events for test reuse: are we there yet?
ISSTA
Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni
2020 J jnl
A Comprehensive Study of Code-removal Patches in Automated Program Repair.
CoRR
Davide Ginelli, Matias Martinez, Leonardo Mariani, Martin Monperrus
2020 A conf
A Framework for In-Vivo Testing of Mobile Applications.
ICST
Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella
2020 J jnl
A Framework for In-Vivo Testing of Mobile Applications.
CoRR
Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella
2020 C conf
Automatic Ex-Vivo Regression Testing of Microservices.
AST
Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Itai Segall, Luca Ussi
2020 A conf
CBR: Controlled Burst Recording.
ICST
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
2020 J jnl
CBR: Controlled Burst Recording.
CoRR
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
2020 A conf
CPSDebug: a tool for explanation of failures in cyber-physical systems.
ISSTA
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
2020 J jnl
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps.
CoRR
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani
2020 A conf
Data loss detector: automatically revealing data loss bugs in Android apps.
ISSTA
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani
2020 — conf
Declarative Dashboard Generation.
ISSRE Workshops
Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
2020 A* conf
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades.
ASE
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2020 J jnl
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades.
CoRR
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2020 J jnl
In-The-Field Monitoring of Functional Calls: Is It Feasible?
CoRR
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
2020 J jnl
In-the-field monitoring of functional calls: Is it feasible?
J. Syst. Softw.
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
2020 — ed.
MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, Seoul, Republic of Korea, July 13-15, 2020
MOBILESoft@ICSE
David Lo, Leonardo Mariani, Ali Mesbah
2020 A* conf
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data.
ASE
Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani
2020 J jnl
Predicting failures in multi-tier distributed systems.
J. Syst. Softw.
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
2020 J jnl
Preface to the special section on improving software quality through formal methods.
Softw. Qual. J.
Yliès Falcone, Leonardo Mariani
2020 B conf
Test4Enforcers: Test Case Generation for Software Enforcers.
RV
Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2020 J jnl
Test4Enforcers: Test Case Generation for Software Enforcers.
CoRR
Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2019 J jnl
A Benchmark of Data Loss Bugs for Android Apps.
CoRR
Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani
2019 A conf
A benchmark of data loss bugs for Android apps.
MSR
Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani
2019 J jnl
A platform for P2P agent-based collaborative applications.
Softw. Pract. Exp.
Daniela Briola, Daniela Micucci, Leonardo Mariani
2019 — conf
Anomaly Detection As-a-Service.
ISSRE Workshops
Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani
2019 J jnl
Anomaly Detection As-a-Service.
CoRR
Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani
2019 B conf
Automatic Failure Explanation in CPS Models.
SEFM
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2019 J jnl
Automatic Failure Explanation in CPS Models.
CoRR
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2019 J jnl
Automatic Software Repair: A Survey.
IEEE Trans. Software Eng.
Luca Gazzola, Daniela Micucci, Leonardo Mariani
2019 J jnl
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR
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
2019 J jnl
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement.
CoRR
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2019 J jnl
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement.
ACM Trans. Auton. Adapt. Syst.
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2019 A conf
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade.
ISSRE
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2019 J jnl
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade.
CoRR
Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2019 J jnl
Field Monitoring With Delayed Saving.
IEEE Access
Oscar Cornejo, Davide Ginelli, Daniela Briola, Daniela Micucci, Leonardo Mariani
2019 J jnl
From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps.
Softw. Pract. Exp.
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2019 — conf
GUI testing in production: challenges and opportunities.
Programming
Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli
2019 J jnl
Predicting Failures in Multi-Tier Distributed Systems.
CoRR
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin
2019 B ed.
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
RV
Bernd Finkbeiner, Leonardo Mariani
2019 — conf
Toward In-Vivo Testing of Mobile Applications.
ISSRE Workshops
Mariano Ceccato, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella
2019 — conf
VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud.
ESEC/SIGSOFT FSE
Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmán, Leonardo Mariani
2018 A* conf
Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles.
ICSE
Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
2018 A* conf
Automatic software repair: a survey.
ICSE
Luca Gazzola, Daniela Micucci, Leonardo Mariani
2018 J jnl
CloudHealth: A Model-Driven Approach to Watch the Health of Cloud Services.
CoRR
Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
2018 — conf
Cloudhealth: a model-driven approach to watch the health of cloud services.
SoHeal@ICSE
Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani
2018 — conf
Increasing the Reusability of Enforcers with Lifecycle Events.
ISoLA (4)
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2018 J jnl
Increasing the Reusability of Enforcers with Lifecycle Events.
CoRR
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2018 A conf
Localizing Faults in Cloud Systems.
ICST
Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin
2018 J jnl
Localizing Faults in Cloud Systems.
CoRR
Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin
2018 J jnl
Model-Based Monitoring for IoTs Smart Cities Applications.
CoRR
Matteo Orrù, Marco Mobilio, Anas Shatnawi, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani
2018 J jnl
Random or evolutionary search for object-oriented test suite generation?
Softw. Test. Verification Reliab.
Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri
2018 — conf
Re-Factored Operational Support Systems for the Next Generation Platform-as-a-Service (NGPaaS).
5G World Forum
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
2018 — ch.
Runtime Failure Prevention and Reaction.
Lectures on Runtime Verification
Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha
2018 — conf
The Next Generation Platform as a Service Cloudifying Service Deployments in Telco-Operators Infrastructure.
ICT
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
2017 A conf
An Exploratory Study of Field Failures.
ISSRE
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
2017 J jnl
An Exploratory Study of Field Failures.
CoRR
Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
2017 J jnl
BDCI: Behavioral Driven Conflict Identification.
CoRR
Fabrizio Pastore, Leonardo Mariani, Daniela Micucci
2017 — conf
BDCI: behavioral driven conflict identification.
ESEC/SIGSOFT FSE
Fabrizio Pastore, Leonardo Mariani, Daniela Micucci
2017 J jnl
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions.
CoRR
Fabrizio Pastore, Leonardo Mariani
2017 — conf
Fragmented Monitoring.
PrePost@iFM
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
2017 J jnl
GK-Tail+ An Efficient Approach to Learn Software Models.
IEEE Trans. Software Eng.
Leonardo Mariani, Mauro Pezzè, Mauro Santoro
2017 J jnl
Healing Data Loss Problems in Android Apps.
CoRR
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2017 J jnl
In The Field Monitoring of Interactive Applications.
CoRR
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
2017 — conf
In the Field Monitoring of Interactive Application.
ICSE-NIER
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
2017 — conf
Policy Enforcement with Proactive Libraries.
SEAMS@ICSE
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2017 J jnl
Policy Enforcement with Proactive Libraries.
CoRR
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2017 J jnl
The central role of test automation in software quality assurance.
Softw. Qual. J.
Leonardo Mariani, Dan Hao, Rajesh Subramanyan, Hong Zhu
2017 A conf
Timed k-Tail: Automatic Inference of Timed Automata.
ICST
Fabrizio Pastore, Daniela Micucci, Leonardo Mariani
2017 J jnl
Timed k-Tail: Automatic Inference of Timed Automata.
CoRR
Fabrizio Pastore, Daniela Micucci, Leonardo Mariani
2017 J jnl
VART: A Tool for the Automatic Detection of Regression Faults.
CoRR
Fabrizio Pastore, Leonardo Mariani
2017 — conf
VART: a tool for the automatic detection of regression faults.
ESEC/SIGSOFT FSE
Fabrizio Pastore, Leonardo Mariani
2017 B conf
Verifying Policy Enforcers.
RV
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
2017 J jnl
Verifying Policy Enforcers.
CoRR
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
2016 — conf
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions.
ISoLA (2)
Fabrizio Pastore, Leonardo Mariani
2016 — conf
Healing Data Loss Problems in Android Apps.
ISSRE Workshops
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
2016 J jnl
Numerical evaluation of the low Reynolds turbulent flow behaviour in a bioreactor.
Int. J. Simul. Process. Model.
Daniela Micucci, Leonardo Mariani
2015 — ed.
10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015
AST@ICSE
Hong Zhu, Dan Hao, Leonardo Mariani, Rajesh Subramanyan
2015 — conf
10th International Workshop on Automation of Software Test (AST 2015).
ICSE (2)
Rajesh Subramanyan, Leonardo Mariani, Dan Hao
2015 — conf
2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015).
ICSE (2)
Gordon Fraser, Thomas D. LaToza, Leonardo Mariani
2015 — ch.
Challenges of Existing Technology.
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
2015 — ch.
Complementarities Among the Technologies Presented in the Book.
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
2015 J jnl
Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency.
ACM Trans. Softw. Eng. Methodol.
Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella
2015 — ch.
G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software.
Validation of Evolving Software
Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Ali Muhammad
2015 — ch.
Introduction.
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
2015 — ch.
RADAR: Dynamic Analysis of Upgrades in C/C++ Software.
Validation of Evolving Software
Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler
2015 J jnl
Recent Advances in Automatic Black-Box Testing.
Adv. Comput.
Leonardo Mariani, Mauro Pezzè, Daniele Zuddas
2015 — ch.
Regression Checking of Changes in C Software.
Validation of Evolving Software
Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad
2015 — book
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
2015 — conf
ZoomIn: Discovering Failures by Detecting Wrong Assertions.
ICSE (1)
Fabrizio Pastore, Leonardo Mariani
2014 J jnl
Automatic testing of GUI-based applications.
Softw. Test. Verification Reliab.
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2014 — conf
Early Conflict Detection with Mined Models.
ISSRE Workshops
Leonardo Mariani, Daniela Micucci, Fabrizio Pastore
2014 A conf
Link: exploiting the web of data to generate test inputs.
ISSTA
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2014 A* conf
MIMIC: locating and understanding bugs by analyzing mimicked executions.
ASE
Daniele Zuddas, Wei Jin, Fabrizio Pastore, Leonardo Mariani, Alessandro Orso
2014 — ed.
Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2014, Hyderabad, India, June 2, 2014
CSI-SE
Gordon Fraser, Thomas D. LaToza, Leonardo Mariani, Fabrizio Pastore, Nikolai Tillmann
2014 A conf
Verification-aided regression testing.
ISSTA
Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad
2013 A conf
AVA: Supporting Debugging with Failure Interpretations.
ICST
Fabrizio Pastore, Leonardo Mariani
2013 A conf
CrowdOracles: Can the Crowd Solve the Oracle Problem?
ICST
Fabrizio Pastore, Leonardo Mariani, Gordon Fraser
2013 J jnl
Exception handlers for healing component-based systems.
ACM Trans. Softw. Eng. Methodol.
Hervé Chang, Leonardo Mariani, Mauro Pezzè
2013 J jnl
MASH: tool integration made easy.
Softw. Pract. Exp.
Leonardo Mariani, Fabrizio Pastore
2013 — conf
PINCETTE - Validating Changes and Upgrades in Networked Software.
CSMR
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
2013 J jnl
Preface.
J. Vis. Lang. Comput.
Fabio Gadducci, Leonardo Mariani
2013 A* conf
RADAR: a tool for debugging regression problems in C/C++ software.
ICSE
Fabrizio Pastore, Leonardo Mariani, Alberto Goffi
2012 A* conf
An empirical study about the effectiveness of debugging when random test cases are used.
ICSE
Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella
2012 J jnl
AuDeNTES: Automatic Detection of teNtative plagiarism according to a rEference Solution.
ACM Trans. Comput. Educ.
Leonardo Mariani, Daniela Micucci
2012 A conf
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications.
ICST
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2012 A conf
Dynamic Analysis of Upgrades in C/C++ Software.
ISSRE
Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler
2012 B conf
Extracting Widget Descriptions from GUIs.
FASE
Giovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro
2012 — conf
G-RankTest: Regression testing of controller applications.
AST@ICSE
Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Muhammad Ali
2012 J jnl
Learning extended FSA from software: An empirical assessment.
J. Syst. Softw.
David Lo, Leonardo Mariani, Mauro Santoro
2012 A* conf
MASH: A tool for end-user plug-in composition.
ICSE
Leonardo Mariani, Fabrizio Pastore
2012 A conf
Revolution: Automatic Evolution of Mined Specifications.
ISSRE
Leonardo Mariani, Alessandro Marchetto, Cu D. Nguyen, Paolo Tonella, Arthur I. Baars
2011 A* conf
AutoBlackTest: a tool for automatic black-box testing.
ICSE
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2011 J jnl
Dynamic Analysis for Diagnosing Integration Faults.
IEEE Trans. Software Eng.
Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
2011 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Fabio Gadducci, Leonardo Mariani
2011 — ed.
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.
WODA@ISSTA
Leonardo Mariani, Xiangyu Zhang
2011 — conf
Supporting plug-in mashes to ease tool integration.
TOPI@ICSE
Leonardo Mariani, Fabrizio Pastore
2010 J jnl
Achieving Cost-Effective Software Reliability Through Self-Healing.
Comput. Informatics
Alessandra Gorla, Mauro Pezzè, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore
2010 — conf
FITE - Future Integrated Testing Environment.
Practical Software Testing: Tool Automation and Human Factors
Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen
2010 — conf
FITE: future integrated testing environment.
FoSER
Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser
2010 — conf
SEIM: static extraction of interaction models.
PESOS
Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro
2009 A* conf
A toolset for automated failure analysis.
ICSE
Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè
2009 A conf
AVA: automated interpretation of dynamically detected anomalies.
ISSTA
Anton Babenko, Leonardo Mariani, Fabrizio Pastore
2009 — conf
Automatic steering of behavioral model inference.
ESEC/SIGSOFT FSE
David Lo, Leonardo Mariani, Mauro Pezzè
2009 A* conf
In-field healing of integration problems with COTS components.
ICSE
Hervé Chang, Leonardo Mariani, Mauro Pezzè
2009 — conf
Self-Healing and Recovery Methods and their Classification.
Self-Healing and Self-Adaptive Systems
Onn Shehory, Josu Martinez, Artur Andrzejak, Cinzia Cappiello, Wlodzimierz Funika, Derrick Kondo, Leonardo Mariani, Benjamin Satzger, Markus Schmid
2008 B conf
A Formal Framework for Developing Adaptable Service-Based Applications.
FASE
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè
2008 A* conf
ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems.
ASE
Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory
2008 A conf
Automated Identification of Failure Causes in System Logs.
ISSRE
Leonardo Mariani, Fabrizio Pastore
2008 A* conf
Automatic generation of software behavioral models.
ICSE
Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè
2008 — conf
Self-healing strategies for component integration faults.
ASE Workshops
Hervé Chang, Leonardo Mariani, Mauro Pezzè
2007 — ch.
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.
Test and Analysis of Web Services
Marc Lohmann, Leonardo Mariani, Reiko Heckel
2007 A* conf
Compatibility and Regression Testing of COTS-Component-Based Software.
ICSE
Leonardo Mariani, Sofia Papagiannakis, Mauro Pezzè
2007 J jnl
Dynamic Detection of COTS Component Incompatibility.
IEEE Softw.
Leonardo Mariani, Mauro Pezzè
2007 — conf
Investigation of failure causes in workload-driven reliability testing.
SOQUA
Domenico Cotroneo, Roberto Pietrantuono, Leonardo Mariani, Fabrizio Pastore
2007 A* conf
Iterative model-driven development of adaptable service-based applications.
ASE
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè
2007 A conf
Towards Self-Protecting Enterprise Applications.
ISSRE
Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè
2005 C conf
Adaptive Runtime Verification for Autonomic Communication Infrastructures.
WOWMOM
Giovanni Denaro, Leonardo Mariani, Mauro Pezzè, Davide Tosi
2005 B conf
Automatic Conformance Testing of Web Services.
FASE
Reiko Heckel, Leonardo Mariani
2005 B conf
Behavior Capture and Test: Automated Analysis of Component Integration.
ICECCS
Leonardo Mariani, Mauro Pezzè
2005 — conf
Fault-Tolerant Routing for P2P Systems with Unstructured Topology.
SAINT
Leonardo Mariani
2004 — conf
A Technique for Verifying Component-Based Software.
TACoS
Leonardo Mariani, Mauro Pezzè
2004 J jnl
An agent-based approach to tool integration.
Int. J. Softw. Tools Technol. Transf.
Flavio Corradini, Leonardo Mariani, Emanuela Merelli
2004 A* conf
Behavior Capture and Test for Verifying Evolving Component-Based Systems.
ICSE
Leonardo Mariani
2004 J jnl
Dependability in Peer-to-Peer Systems.
IEEE Internet Comput.
Flavio De Paoli, Leonardo Mariani
2004 — conf
Generation of Integration Tests for Self-Testing Components.
FORTE Workshops
Leonardo Mariani, Mauro Pezzè, David Willmor
2004 — conf
Run-Time Verification.
Model-Based Testing of Reactive Systems
Séverine Colin, Leonardo Mariani
2004 — conf
Towards Testing and Analysis of Systems that Use Serialization.
TACoS
Giovanni Denaro, Leonardo Mariani
2003 — conf
A Fault Taxonomy for Component-Based Software.
TACoS
Leonardo Mariani
2003 — conf
A Programming Environment for Global Activity-based Applications.
WOA
Flavio Corradini, Leonardo Mariani, Emanuela Merelli
2003 — conf
An XML View of the "World".
ICEIS (1)
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
2003 — conf
Self-Test Components for Highly Reconfigurable Systems.
TACoS
Giovanni Denaro, Leonardo Mariani, Mauro Pezzè