


default search action
Leonardo Mariani
Person information
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j45]Luca Guglielmo
, Leonardo Mariani
, Giovanni Denaro
:
Measuring Software Testability via Automatically Generated Test Cases. IEEE Access 12: 63904-63916 (2024) - [j44]Farideh Khalili, Leonardo Mariani, Ali Mohebbi
, Mauro Pezzè
, Valerio Terragni
:
Semantic matching in GUI test reuse. Empir. Softw. Eng. 29(3): 70 (2024) - [j43]Marco Mobilio
, Oliviero Riganelli
, Daniela Micucci
, Leonardo Mariani
:
FILO: Automated FIx-LOcus Identification for Android Framework Compatibility Issues. Inf. 15(8): 423 (2024) - [j42]Oliviero Riganelli
, Daniela Micucci
, Leonardo Mariani
:
Automatic testing of runtime enforcers with Test4Enforcers. J. Syst. Softw. 210: 111949 (2024) - [j41]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): 567-605 (2024) - [j40]Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Monitoring Probe Deployment Patterns for Cloud-Native Applications: Definition and Empirical Assessment. IEEE Trans. Serv. Comput. 17(4): 1636-1654 (2024) - [j39]Diego Clerissi
, Giovanni Denaro
, Marco Mobilio
, Leonardo Mariani
:
Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency. IEEE Trans. Software Eng. 50(4): 836-853 (2024) - [j38]Diego Clerissi
, Giovanni Denaro
, Marco Mobilio
, Leonardo Mariani
:
DBInputs: Exploiting Persistent Data to Improve Automated GUI Testing. IEEE Trans. Software Eng. 50(9): 2412-2436 (2024) - [j37]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
:
Scoping Software Engineering for AI: The TSE Perspective. IEEE Trans. Software Eng. 50(11): 2709-2711 (2024) - [c110]Elena Masserini
, Davide Ginelli
, Daniela Micucci
, Daniela Briola
, Leonardo Mariani
:
Anonymizing Test Data in Android: Does It Hurt? AST@ICSE 2024: 88-98 - [c109]Luciano Baresi, Simone Bianco, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Daniela Micucci, Luciana Brasil Rebelo dos Santos, Maria Teresa Rossi, Raimondo Schettini:
COBOL: COmmunity-Based Organized Littering. SEAA 2024: 511-517 - [c108]Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Patrizio Pelliccione:
Continuous Conformance of Software Architectures. ICSA 2024: 112-122 - [c107]Federico Alessi, Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
ReProbe: An Architecture for Reconfigurable and Adaptive Probes. ICSA-C 2024: 175-178 - [c106]Michael Ferdinando Urrico
, Diego Clerissi
, Leonardo Mariani
:
MutaBot: A Mutation Testing Approach for Chatbots. ICSE Companion 2024: 79-83 - [c105]Vincenzo Corso
, Leonardo Mariani
, Daniela Micucci
, Oliviero Riganelli
:
Assessing AI-Based Code Assistants in Method Generation Tasks. ICSE Companion 2024: 380-381 - [c104]Vincenzo Corso
, Leonardo Mariani
, Daniela Micucci
, Oliviero Riganelli
:
Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants. ICPC 2024: 13-23 - [c103]Ionut Daniel Fagadau
, Leonardo Mariani
, Daniela Micucci
, Oliviero Riganelli
:
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot. ICPC 2024: 24-34 - [c102]Amleto Di Salle
, Arianna Fedeli
, Ludovico Iovino
, Leonardo Mariani
, Daniela Micucci
, Luciana Rebelo
, Maria Teresa Rossi
:
Waste Management Through Digital Twins and Business Process Modeling. MoDELS (Companion) 2024: 513-517 - [c101]Qurban Ali, Oliviero Riganelli, Leonardo Mariani:
Testing in the Evolving World of DL Systems: Insights from Python GitHub Projects. QRS 2024: 25-35 - [c100]Maria Teresa Rossi
, Alessandro Tundo
, Leonardo Mariani
:
Towards Model-Driven Dashboard Generation for Systems-of-Systems. SESoS@ICSE 2024: 9-12 - [i50]Michael Ferdinando Urrico, Diego Clerissi, Leonardo Mariani:
MutaBot: A Mutation Testing Approach for Chatbots. CoRR abs/2401.10372 (2024) - [i49]Elena Masserini, Davide Ginelli, Daniela Micucci, Daniela Briola, Leonardo Mariani:
Anonymizing Test Data in Android: Does It Hurt? CoRR abs/2402.07460 (2024) - [i48]Ionut Daniel Fagadau, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli:
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with Copilot. CoRR abs/2402.08430 (2024) - [i47]Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli:
Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants. CoRR abs/2402.08431 (2024) - [i46]Vincenzo Corso, Leonardo Mariani, Daniela Micucci, Oliviero Riganelli:
Assessing AI-Based Code Assistants in Method Generation Tasks. CoRR abs/2402.09022 (2024) - [i45]Maria Teresa Rossi, Alessandro Tundo, Leonardo Mariani:
Towards Model-Driven Dashboard Generation for Systems-of-Systems. CoRR abs/2402.15257 (2024) - [i44]Federico Alessi, Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
ReProbes: An Architecture for Reconfigurable and Adaptive Probes. CoRR abs/2403.12703 (2024) - [i43]Qurban Ali, Oliviero Riganelli, Leonardo Mariani:
Testing in the Evolving World of DL Systems:Insights from Python GitHub Projects. CoRR abs/2405.19976 (2024) - 2023
- [j36]Jacky Wai Keung
, Leonardo Mariani, Jianwen Xiang, Xiao Yu:
ISSRE 2021 special section. Inf. Softw. Technol. 159: 107227 (2023) - [j35]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) - [j34]Alessandro Tundo
, Marco Mobilio
, Oliviero Riganelli
, Leonardo Mariani
:
Automated Probe Life-Cycle Management for Monitoring-As-a-Service. IEEE Trans. Serv. Comput. 16(2): 969-982 (2023) - [c99]Marco Mobilio, Diego Clerissi, Giovanni Denaro, Leonardo Mariani:
GUI Testing to the Power of Parallel Q-Learning. ICSE Companion 2023: 55-59 - [c98]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic
, Drishti Yadav
:
Property-Based Mutation Testing. ICST 2023: 222-233 - [c97]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: 281-293 - [c96]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: 520-529 - [c95]Amleto Di Salle, Ludovico Iovino, Leonardo Mariani:
Mastering Reference Architectures with Modeling Assistants. MoDELS (Companion) 2023: 705-709 - [i42]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
:
Property-Based Mutation Testing. CoRR abs/2301.13615 (2023) - [i41]Luca Guglielmo, Leonardo Mariani, Giovanni Denaro:
Measuring Software Testability via Automatically Generated Test Cases. CoRR abs/2307.16185 (2023) - [i40]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 abs/2309.00022 (2023) - [i39]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 abs/2309.02985 (2023) - [i38]Alessandro Tundo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Automated Probe Life-Cycle Management for Monitoring-as-a-Service. CoRR abs/2309.11870 (2023) - 2022
- [j33]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): 92:1-92:39 (2022) - [j32]Davide Ginelli
, Matias Martinez
, Leonardo Mariani
, Martin Monperrus
:
A comprehensive study of code-removal patches in automated program repair. Empir. Softw. Eng. 27(4): 97 (2022) - [j31]Fabrizio Pastore
, Daniela Micucci
, Michell Guzmán
, Leonardo Mariani
:
TkT: Automatic Inference of Timed and Extended Pushdown Automata. IEEE Trans. Software Eng. 48(2): 617-636 (2022) - [c94]Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani:
Proactive Libraries: Enforcing Correct Behaviors in Android Apps. ICSE-Companion 2022: 159-163 - [c93]Cecilio Cannavacciuolo, Leonardo Mariani:
Smoke Testing of Cloud Systems. ICST 2022: 47-57 - [c92]Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè
, Martin Tappler:
Testing Software in Production Environments with Data from the Field. ICST 2022: 58-69 - [c91]Oliviero Riganelli
, Daniela Micucci
, Leonardo Mariani
:
Non-functional Testing of Runtime Enforcers in Android. ISoLA (1) 2022: 320-334 - [c90]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
:
Search-based Testing for Accurate Fault Localization in CPS. ISSRE 2022: 145-156 - [c89]Cecilio Cannavacciuolo, Leonardo Mariani:
Automatic generation of smoke test suites for kubernetes. ISSTA 2022: 769-772 - [c88]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: 560-564 - [c87]Vera Colombo, Alessandro Tundo
, Michele Ciavotta, Leonardo Mariani:
Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments. SEAMS 2022: 156-166 - [c86]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
:
FIM: fault injection and mutation for Simulink. ESEC/SIGSOFT FSE 2022: 1716-1720 - [d1]Ezio Bartocci
, Leonardo Mariani
, Dejan Nickovic
, Drishti Yadav
:
FIM: Fault Injection and Mutation for Simulink. Zenodo, 2022 - [i37]Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Exception-Driven Fault Localization for Automated Program Repair. CoRR abs/2201.00736 (2022) - [i36]Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani:
Proactive Libraries: Enforcing Correct Behaviors in Android Apps. CoRR abs/2202.11999 (2022) - [i35]Vera Colombo, Alessandro Tundo, Michele Ciavotta, Leonardo Mariani:
Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments. CoRR abs/2205.04142 (2022) - [i34]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Non-Functional Testing of Runtime Enforcers in Android. CoRR abs/2210.12155 (2022) - 2021
- [j30]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: 110933 (2021) - [j29]Matthias Güdemann, Leonardo Mariani:
Preface to the special issue on improving software quality through program analysis. Softw. Qual. J. 29(3): 595-596 (2021) - [j28]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): 545-546 (2021) - [j27]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): 783-796 (2021) - [c85]Leonardo Mariani, Mauro Pezzè
, Valerio Terragni
, Daniele Zuddas:
An Evolutionary Approach to Adapt Tests Across Mobile Apps. AST@ICSE 2021: 70-79 - [c84]Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani:
Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment. ICMLA 2021: 785-790 - [c83]Leonardo Mariani
, Ali Mohebbi
, Mauro Pezzè
, Valerio Terragni
:
Semantic matching of GUI events for test reuse: are we there yet? ISSTA 2021: 177-190 - [c82]Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Exception-Driven Fault Localization for Automated Program Repair. QRS 2021: 598-607 - [e7]Zhi Jin, Xuandong Li, Jianwen Xiang, Leonardo Mariani, Ting Liu, Xiao Yu, Nahgmeh Ivaki:
32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021. IEEE 2021, ISBN 978-1-6654-2587-2 [contents] - [i33]Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Declarative Dashboard Generation. CoRR abs/2101.00274 (2021) - [i32]Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè:
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned. CoRR abs/2103.00465 (2021) - [i31]Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas:
An Evolutionary Approach to Adapt Tests Across Mobile Apps. CoRR abs/2104.05233 (2021) - [i30]Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani:
Cloud Failure Prediction with Hierarchical Temporary Memory: An Empirical Assessment. CoRR abs/2110.03431 (2021) - 2020
- [j26]Leonardo Mariani, Mauro Pezzè
, Oliviero Riganelli
, Rui Xin:
Predicting failures in multi-tier distributed systems. J. Syst. Softw. 161 (2020) - [j25]Oscar Cornejo
, Daniela Briola
, Daniela Micucci
, Leonardo Mariani:
In-the-field monitoring of functional calls: Is it feasible? J. Syst. Softw. 163: 110523 (2020) - [j24]Yliès Falcone, Leonardo Mariani:
Preface to the special section on improving software quality through formal methods. Softw. Qual. J. 28(2): 693-694 (2020) - [c81]Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Itai Segall, Luca Ussi:
Automatic Ex-Vivo Regression Testing of Microservices. AST@ICSE 2020: 11-20 - [c80]Oscar Cornejo
, Daniela Briola
, Daniela Micucci, Leonardo Mariani:
CBR: Controlled Burst Recording. ICST 2020: 243-253 - [c79]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: 286-296 - [c78]Alessandro Tundo
, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Declarative Dashboard Generation. ISSRE Workshops 2020: 215-218 - [c77]Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota
, Daniela Micucci, Leonardo Mariani:
Data loss detector: automatically revealing data loss bugs in Android apps. ISSTA 2020: 141-152 - [c76]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: 569-572 - [c75]Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani:
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data. ASE 2020: 66-77 - [c74]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. ASE 2020: 1292-1296 - [c73]Michell Guzmán, Oliviero Riganelli
, Daniela Micucci
, Leonardo Mariani
:
Test4Enforcers: Test Case Generation for Software Enforcers. RV 2020: 279-297 - [e6]David Lo, Leonardo Mariani, Ali Mesbah:
MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, Seoul, Republic of Korea, July 13-15, 2020. ACM 2020, ISBN 978-1-4503-7959-5 [contents] - [i29]Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
In-The-Field Monitoring of Functional Calls: Is It Feasible? CoRR abs/2001.07283 (2020) - [i28]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 abs/2002.01785 (2020) - [i27]Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
CBR: Controlled Burst Recording. CoRR abs/2002.01872 (2020) - [i26]Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Test4Enforcers: Test Case Generation for Software Enforcers. CoRR abs/2010.04258 (2020) - [i25]Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani:
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps. CoRR abs/2010.05584 (2020) - [i24]Davide Ginelli, Matias Martinez, Leonardo Mariani, Martin Monperrus:
A Comprehensive Study of Code-removal Patches in Automated Program Repair. CoRR abs/2012.06264 (2020) - [i23]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. CoRR abs/2012.15627 (2020)
2010 – 2019
- 2019
- [j23]Oscar Cornejo
, Davide Ginelli
, Daniela Briola
, Daniela Micucci, Leonardo Mariani
:
Field Monitoring With Delayed Saving. IEEE Access 7: 85913-85924 (2019) - [j22]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): 540-548 (2019) - [j21]Daniela Briola
, Daniela Micucci
, Leonardo Mariani
:
A platform for P2P agent-based collaborative applications. Softw. Pract. Exp. 49(3): 549-558 (2019) - [j20]Oliviero Riganelli
, Daniela Micucci, Leonardo Mariani:
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. ACM Trans. Auton. Adapt. Syst. 14(2): 8:1-8:29 (2019) - [j19]Luca Gazzola, Daniela Micucci
, Leonardo Mariani
:
Automatic Software Repair: A Survey. IEEE Trans. Software Eng. 45(1): 34-67 (2019) - [c72]Mariano Ceccato
, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella:
Toward In-Vivo Testing of Mobile Applications. ISSRE Workshops 2019: 137-143 - [c71]Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo
, Leonardo Mariani:
Anomaly Detection As-a-Service. ISSRE Workshops 2019: 193-199 - [c70]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade. ISSRE 2019: 358-368 - [c69]Oliviero Riganelli
, Marco Mobilio, Daniela Micucci, Leonardo Mariani:
A benchmark of data loss bugs for Android apps. MSR 2019: 582-586 - [c68]Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli
:
GUI testing in production: challenges and opportunities. Programming 2019: 18:1-18:3 - [c67]Ezio Bartocci
, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis
, Dejan Nickovic:
Automatic Failure Explanation in CPS Models. SEFM 2019: 69-86 - [c66]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: 1085-1089 - [e5]Bernd Finkbeiner, Leonardo Mariani:
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Lecture Notes in Computer Science 11757, Springer 2019, ISBN 978-3-030-32078-2 [contents] - [i22]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 abs/1902.03776 (2019) - [i21]Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic:
Automatic Failure Explanation in CPS Models. CoRR abs/1903.12468 (2019) - [i20]Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani:
A Benchmark of Data Loss Bugs for Android Apps. CoRR abs/1905.11040 (2019) - [i19]Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani:
Anomaly Detection As-a-Service. CoRR abs/1909.08378 (2019) - [i18]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. CoRR abs/1911.09357 (2019) - [i17]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade. CoRR abs/1911.09388 (2019) - [i16]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Predicting Failures in Multi-Tier Distributed Systems. CoRR abs/1911.09561 (2019) - 2018
- [j18]Sina Shamshiri
, José Miguel Rojas
, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri:
Random or evolutionary search for object-oriented test suite generation? Softw. Test. Verification Reliab. 28(4) (2018) - [c65]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:
Re-Factored Operational Support Systems for the Next Generation Platform-as-a-Service (NGPaaS). 5G World Forum 2018: 1-5 - [c64]Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli
, Leonardo Mariani:
Cloudhealth: a model-driven approach to watch the health of cloud services. SoHeal@ICSE 2018: 40-47 - [c63]Leonardo Mariani, Mauro Pezzè
, Daniele Zuddas:
Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles. ICSE 2018: 280-290 - [c62]Luca Gazzola, Daniela Micucci, Leonardo Mariani:
Automatic software repair: a survey. ICSE 2018: 1219 - [c61]Leonardo Mariani, Cristina Monni, Mauro Pezzè
, Oliviero Riganelli
, Rui Xin:
Localizing Faults in Cloud Systems. ICST 2018: 262-273 - [c60]