![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Leonardo Mariani
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j41]Luca Guglielmo
, Leonardo Mariani
, Giovanni Denaro
:
Measuring Software Testability via Automatically Generated Test Cases. IEEE Access 12: 63904-63916 (2024) - [j40]Farideh Khalili, Leonardo Mariani, Ali Mohebbi
, Mauro Pezzè
, Valerio Terragni
:
Semantic matching in GUI test reuse. Empir. Softw. Eng. 29(3): 70 (2024) - [j39]Oliviero Riganelli
, Daniela Micucci
, Leonardo Mariani
:
Automatic testing of runtime enforcers with Test4Enforcers. J. Syst. Softw. 210: 111949 (2024) - [j38]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) - [j37]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) - [c106]Elena Masserini
, Davide Ginelli
, Daniela Micucci
, Daniela Briola
, Leonardo Mariani
:
Anonymizing Test Data in Android: Does It Hurt? AST@ICSE 2024: 88-98 - [c105]Alessio Bucaioni, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Patrizio Pelliccione:
Continuous Conformance of Software Architectures. ICSA 2024: 112-122 - [c104]Michael Ferdinando Urrico
, Diego Clerissi
, Leonardo Mariani
:
MutaBot: A Mutation Testing Approach for Chatbots. ICSE Companion 2024: 79-83 - [c103]Vincenzo Corso
, Leonardo Mariani
, Daniela Micucci
, Oliviero Riganelli
:
Assessing AI-Based Code Assistants in Method Generation Tasks. ICSE Companion 2024: 380-381 - [c102]Vincenzo Corso
, Leonardo Mariani
, Daniela Micucci
, Oliviero Riganelli
:
Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants. ICPC 2024: 13-23 - [c101]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 - [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 - [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]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:
The Next Generation Platform as a Service Cloudifying Service Deployments in Telco-Operators Infrastructure. ICT 2018: 399-404 - [c59]Oliviero Riganelli
, Daniela Micucci, Leonardo Mariani:
Increasing the Reusability of Enforcers with Lifecycle Events. ISoLA (4) 2018: 51-57 - [p8]Yliès Falcone
, Leonardo Mariani
, Antoine Rollet, Saikat Saha:
Runtime Failure Prevention and Reaction. Lectures on Runtime Verification 2018: 103-134 - [i15]Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Localizing Faults in Cloud Systems. CoRR abs/1803.00356 (2018) - [i14]Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
CloudHealth: A Model-Driven Approach to Watch the Health of Cloud Services. CoRR abs/1803.05233 (2018) - [i13]Matteo Orrù, Marco Mobilio, Anas Shatnawi, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani:
Model-Based Monitoring for IoTs Smart Cities Applications. CoRR abs/1807.07460 (2018) - [i12]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Increasing the Reusability of Enforcers with Lifecycle Events. CoRR abs/1810.04893 (2018) - 2017
- [j17]Leonardo Mariani, Dan Hao
, Rajesh Subramanyan, Hong Zhu:
The central role of test automation in software quality assurance. Softw. Qual. J. 25(3): 797-802 (2017) - [j16]Leonardo Mariani
, Mauro Pezzè
, Mauro Santoro:
GK-Tail+ An Efficient Approach to Learn Software Models. IEEE Trans. Software Eng. 43(8): 715-738 (2017) - [c58]Oscar Cornejo
, Daniela Briola
, Daniela Micucci
, Leonardo Mariani:
In the Field Monitoring of Interactive Application. ICSE-NIER 2017: 55-58 - [c57]Oliviero Riganelli
, Daniela Micucci, Leonardo Mariani:
Policy Enforcement with Proactive Libraries. SEAMS@ICSE 2017: 182-192 - [c56]Fabrizio Pastore
, Daniela Micucci
, Leonardo Mariani:
Timed k-Tail: Automatic Inference of Timed Automata. ICST 2017: 401-411 - [c55]Luca Gazzola, Leonardo Mariani, Fabrizio Pastore
, Mauro Pezzè
:
An Exploratory Study of Field Failures. ISSRE 2017: 67-77 - [c54]Oliviero Riganelli
, Daniela Micucci, Leonardo Mariani, Yliès Falcone:
Verifying Policy Enforcers. RV 2017: 241-258 - [c53]Fabrizio Pastore
, Leonardo Mariani, Daniela Micucci:
BDCI: behavioral driven conflict identification. ESEC/SIGSOFT FSE 2017: 570-581 - [c52]Fabrizio Pastore, Leonardo Mariani:
VART: a tool for the automatic detection of regression faults. ESEC/SIGSOFT FSE 2017: 964-968 - [c51]Oscar Cornejo
, Daniela Briola
, Daniela Micucci, Leonardo Mariani:
Fragmented Monitoring. PrePost@iFM 2017: 57-68 - [i11]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Healing Data Loss Problems in Android Apps. CoRR abs/1701.05467 (2017) - [i10]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Policy Enforcement with Proactive Libraries. CoRR abs/1703.08005 (2017) - [i9]Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
In The Field Monitoring of Interactive Applications. CoRR abs/1705.06511 (2017) - [i8]Fabrizio Pastore, Daniela Micucci, Leonardo Mariani:
Timed k-Tail: Automatic Inference of Timed Automata. CoRR abs/1705.08399 (2017) - [i7]Fabrizio Pastore, Leonardo Mariani:
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. CoRR abs/1705.08418 (2017) - [i6]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone:
Verifying Policy Enforcers. CoRR abs/1707.07473 (2017) - [i5]Fabrizio Pastore, Leonardo Mariani, Daniela Micucci:
BDCI: Behavioral Driven Conflict Identification. CoRR abs/1708.01650 (2017) - [i4]Fabrizio Pastore, Leonardo Mariani:
VART: A Tool for the Automatic Detection of Regression Faults. CoRR abs/1708.02052 (2017) - [i3]Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
An Exploratory Study of Field Failures. CoRR abs/1708.09494 (2017) - 2016
- [j15]Daniela Micucci, Leonardo Mariani:
Numerical evaluation of the low Reynolds turbulent flow behaviour in a bioreactor. Int. J. Simul. Process. Model. 11(1): 66-75 (2016) - [c50]Fabrizio Pastore
, Leonardo Mariani:
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. ISoLA (2) 2016: 388-393 - [c49]Oliviero Riganelli
, Daniela Micucci
, Leonardo Mariani:
Healing Data Loss Problems in Android Apps. ISSRE Workshops 2016: 146-152 - 2015
- [j14]Leonardo Mariani
, Mauro Pezzè
, Daniele Zuddas:
Recent Advances in Automatic Black-Box Testing. Adv. Comput. 99: 157-193 (2015) - [j13]Mariano Ceccato
, Alessandro Marchetto
, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella:
Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency. ACM Trans. Softw. Eng. Methodol. 25(1): 5:1-5:38 (2015) - [c48]Fabrizio Pastore
, Leonardo Mariani:
ZoomIn: Discovering Failures by Detecting Wrong Assertions. ICSE (1) 2015: 66-76 - [c47]Rajesh Subramanyan, Leonardo Mariani, Dan Hao
:
10th International Workshop on Automation of Software Test (AST 2015). ICSE (2) 2015: 963-964 - [c46]Gordon Fraser, Thomas D. LaToza, Leonardo Mariani:
2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015). ICSE (2) 2015: 975-976 - [p7]Hana Chockler, Daniel Kroening
, Leonardo Mariani, Natasha Sharygina
:
Introduction. Validation of Evolving Software 2015: 3-5 - [p6]Hana Chockler
, Daniel Kroening
, Leonardo Mariani, Natasha Sharygina
:
Challenges of Existing Technology. Validation of Evolving Software 2015: 7-17 - [p5]Hana Chockler
, Daniel Kroening
, Leonardo Mariani, Natasha Sharygina:
Complementarities Among the Technologies Presented in the Book. Validation of Evolving Software 2015: 19-21 - [p4]Fabrizio Pastore
, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler:
RADAR: Dynamic Analysis of Upgrades in C/C++ Software. Validation of Evolving Software 2015: 85-105 - [p3]Leonardo Mariani, Oliviero Riganelli
, Mauro Santoro, Ali Muhammad:
G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software. Validation of Evolving Software 2015: 107-121 - [p2]Fabrizio Pastore
, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
, Stephan Sehestedt, Ali Muhammad:
Regression Checking of Changes in C Software. Validation of Evolving Software 2015: 185-207 - [e4]Hana Chockler
, Daniel Kroening
, Leonardo Mariani, Natasha Sharygina
:
Validation of Evolving Software. Springer 2015, ISBN 978-3-319-10622-9 [contents] - [e3]Hong Zhu, Dan Hao, Leonardo Mariani, Rajesh Subramanyan:
10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7022-6 [contents] - 2014
- [j12]Leonardo Mariani
, Mauro Pezzè
, Oliviero Riganelli
, Mauro Santoro:
Automatic testing of GUI-based applications. Softw. Test. Verification Reliab. 24(5): 341-366 (2014) - [c45]Leonardo Mariani
, Daniela Micucci
, Fabrizio Pastore
:
Early Conflict Detection with Mined Models. ISSRE Workshops 2014: 126-127 - [c44]Fabrizio Pastore
, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich
, Natasha Sharygina
, Stephan Sehestedt, Ali Muhammad:
Verification-aided regression testing. ISSTA 2014: 37-48 - [c43]Leonardo Mariani, Mauro Pezzè
, Oliviero Riganelli, Mauro Santoro:
Link: exploiting the web of data to generate test inputs. ISSTA 2014: 373-384 - [c42]Daniele Zuddas, Wei Jin, Fabrizio Pastore
, Leonardo Mariani
, Alessandro Orso:
MIMIC: locating and understanding bugs by analyzing mimicked executions. ASE 2014: 815-826 - [e2]Gordon Fraser, Thomas D. LaToza, Leonardo Mariani, Fabrizio Pastore, Nikolai Tillmann:
Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2014, Hyderabad, India, June 2, 2014. ACM 2014, ISBN 978-1-4503-2857-9 [contents] - 2013
- [j11]Leonardo Mariani
, Fabrizio Pastore
:
MASH: tool integration made easy. Softw. Pract. Exp. 43(4): 419-433 (2013) - [j10]Hervé Chang, Leonardo Mariani
, Mauro Pezzè
:
Exception handlers for healing component-based systems. ACM Trans. Softw. Eng. Methodol. 22(4): 30:1-30:40 (2013) - [j9]Fabio Gadducci
, Leonardo Mariani:
Preface. J. Vis. Lang. Comput. 24(3): 151-152 (2013) - [c41]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:
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464 - [c40]Fabrizio Pastore
, Leonardo Mariani
, Alberto Goffi:
RADAR: a tool for debugging regression problems in C/C++ software. ICSE 2013: 1335-1338 - [c39]Fabrizio Pastore
, Leonardo Mariani
, Gordon Fraser:
CrowdOracles: Can the Crowd Solve the Oracle Problem? ICST 2013: 342-351 - [c38]Fabrizio Pastore
, Leonardo Mariani
:
AVA: Supporting Debugging with Failure Interpretations. ICST 2013: 416-421 - 2012
- [j8]Leonardo Mariani
, Daniela Micucci
:
AuDeNTES: Automatic Detection of teNtative plagiarism according to a rEference Solution. ACM Trans. Comput. Educ. 12(1): 2:1-2:26 (2012) - [j7]David Lo
, Leonardo Mariani
, Mauro Santoro:
Learning extended FSA from software: An empirical assessment. J. Syst. Softw. 85(9): 2063-2076 (2012) - [c37]Giovanni Becce, Leonardo Mariani
, Oliviero Riganelli
, Mauro Santoro:
Extracting Widget Descriptions from GUIs. FASE 2012: 347-361 - [c36]Leonardo Mariani
, Oliviero Riganelli
, Mauro Santoro, Muhammad Ali:
G-RankTest: Regression testing of controller applications. AST 2012: 131-137 - [c35]Mariano Ceccato
, Alessandro Marchetto
, Leonardo Mariani
, Cu D. Nguyen, Paolo Tonella
:
An empirical study about the effectiveness of debugging when random test cases are used. ICSE 2012: 452-462 - [c34]Leonardo Mariani
, Fabrizio Pastore
:
MASH: A tool for end-user plug-in composition. ICSE 2012: 1387-1390 - [c33]Leonardo Mariani
, Mauro Pezzè
, Oliviero Riganelli
, Mauro Santoro:
AutoBlackTest: Automatic Black-Box Testing of Interactive Applications. ICST 2012: 81-90 - [c32]Fabrizio Pastore
, Leonardo Mariani
, Alberto Goffi, Manuel Oriol, Michael Wahler:
Dynamic Analysis of Upgrades in C/C++ Software. ISSRE 2012: 91-100 - [c31]Leonardo Mariani
, Alessandro Marchetto
, Cu D. Nguyen, Paolo Tonella
, Arthur I. Baars:
Revolution: Automatic Evolution of Mined Specifications. ISSRE 2012: 241-250 - 2011
- [j6]Fabio Gadducci
, Leonardo Mariani:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [j5]Leonardo Mariani
, Fabrizio Pastore
, Mauro Pezzè
:
Dynamic Analysis for Diagnosing Integration Faults. IEEE Trans. Software Eng. 37(4): 486-508 (2011) - [c30]Leonardo Mariani
, Fabrizio Pastore
:
Supporting plug-in mashes to ease tool integration. TOPI@ICSE 2011: 1-4 - [c29]Leonardo Mariani
, Mauro Pezzè
, Oliviero Riganelli
, Mauro Santoro:
AutoBlackTest: a tool for automatic black-box testing. ICSE 2011: 1013-1015 - [e1]Leonardo Mariani, Xiangyu Zhang:
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011. ACM 2011, ISBN 978-1-4503-0811-3 [contents] - 2010
- [j4]Alessandra Gorla, Mauro Pezzè
, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore:
Achieving Cost-Effective Software Reliability Through Self-Healing. Comput. Informatics 29(1): 93-115 (2010) - [c28]Leonardo Mariani
, Mauro Pezzè
, Oliviero Riganelli
, Mauro Santoro:
SEIM: static extraction of interaction models. PESOS 2010: 22-28 - [c27]Michael W. Whalen, Patrice Godefroid, Leonardo Mariani
, Andrea Polini
, Nikolai Tillmann, Willem Visser:
FITE: future integrated testing environment. FoSER 2010: 401-406 - [i2]Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen:
FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors 2010
2000 – 2009
- 2009
- [c26]Hervé Chang, Leonardo Mariani
, Mauro Pezzè
:
In-field healing of integration problems with COTS components. ICSE 2009: 166-176 - [c25]Leonardo Mariani
, Fabrizio Pastore
, Mauro Pezzè
:
A toolset for automated failure analysis. ICSE 2009: 563-566 - [c24]Anton Babenko, Leonardo Mariani
, Fabrizio Pastore
:
AVA: automated interpretation of dynamically detected anomalies. ISSTA 2009: 237-248 - [c23]David Lo
, Leonardo Mariani
, Mauro Pezzè
:
Automatic steering of behavioral model inference. ESEC/SIGSOFT FSE 2009: 345-354 - [i1]Onn Shehory, Josu Martinez, Artur Andrzejak, Cinzia Cappiello, Wlodzimierz Funika, Derrick Kondo, Leonardo Mariani, Benjamin Satzger, Markus Schmid:
Self-Healing and Recovery Methods and their Classification. Self-Healing and Self-Adaptive Systems 2009 - 2008
- [c22]Leen Lambers, Leonardo Mariani
, Hartmut Ehrig, Mauro Pezzè:
A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406 - [c21]Davide Lorenzoli, Leonardo Mariani
, Mauro Pezzè
:
Automatic generation of software behavioral models. ICSE 2008: 501-510 - [c20]Leonardo Mariani
, Fabrizio Pastore
:
Automated Identification of Failure Causes in System Logs. ISSRE 2008: 117-126 - [c19]Hervé Chang, Leonardo Mariani
, Mauro Pezzè
:
Self-healing strategies for component integration faults. ASE Workshops 2008: 25-32 - [c18]Mauro Caporuscio
, Antinisca Di Marco
, Leonardo Mariani
, Henry Muccini
, Andrea Polini
, Onn Shehory
:
ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems. ASE 2008: 529-530 - 2007
- [j3]Leonardo Mariani
, Mauro Pezzè
:
Dynamic Detection of COTS Component Incompatibility. IEEE Softw. 24(5): 76-85 (2007) - [c17]Leonardo Mariani
, Sofia Papagiannakis, Mauro Pezzè
:
Compatibility and Regression Testing of COTS-Component-Based Software. ICSE 2007: 85-95 - [c16]Davide Lorenzoli, Leonardo Mariani
, Mauro Pezzè
:
Towards Self-Protecting Enterprise Applications. ISSRE 2007: 39-48 - [c15]Leen Lambers, Hartmut Ehrig, Leonardo Mariani
, Mauro Pezzè
:
Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456 - [c14]Domenico Cotroneo, Roberto Pietrantuono
, Leonardo Mariani
, Fabrizio Pastore
:
Investigation of failure causes in workload-driven reliability testing. SOQUA 2007: 78-85 - [p1]Marc Lohmann, Leonardo Mariani
, Reiko Heckel:
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. Test and Analysis of Web Services 2007: 173-204 - 2005
- [c13]Reiko Heckel, Leonardo Mariani:
Automatic Conformance Testing of Web Services. FASE 2005: 34-48 - [c12]Leonardo Mariani, Mauro Pezzè
:
Behavior Capture and Test: Automated Analysis of Component Integration. ICECCS 2005: 292-301 - [c11]Leonardo Mariani:
Fault-Tolerant Routing for P2P Systems with Unstructured Topology. SAINT 2005: 256-263 - [c10]Giovanni Denaro
, Leonardo Mariani
, Mauro Pezzè
, Davide Tosi
:
Adaptive Runtime Verification for Autonomic Communication Infrastructures. WOWMOM 2005: 553-557 - 2004
- [j2]Flavio De Paoli
, Leonardo Mariani
:
Dependability in Peer-to-Peer Systems. IEEE Internet Comput. 8(4): 54-61 (2004) - [j1]Flavio Corradini, Leonardo Mariani
, Emanuela Merelli
:
An agent-based approach to tool integration. Int. J. Softw. Tools Technol. Transf. 6(3): 231-244 (2004) - [c9]Séverine Colin, Leonardo Mariani:
Run-Time Verification. Model-Based Testing of Reactive Systems 2004: 525-555 - [c8]Leonardo Mariani, Mauro Pezzè, David Willmor:
Generation of Integration Tests for Self-Testing Components. FORTE Workshops 2004: 337-350 - [c7]Leonardo Mariani:
Behavior Capture and Test for Verifying Evolving Component-Based Systems. ICSE 2004: 78-80 - [c6]Leonardo Mariani
, Mauro Pezzè
:
A Technique for Verifying Component-Based Software. TACoS 2004: 17-30 - [c5]Giovanni Denaro
, Leonardo Mariani
:
Towards Testing and Analysis of Systems that Use Serialization. TACoS 2004: 171-184 - 2003
- [c4]Ezio Bartocci, Emanuela Merelli, Leonardo Mariani:
An XML View of the "World". ICEIS (1) 2003: 19-27 - [c3]Flavio Corradini, Leonardo Mariani, Emanuela Merelli:
A Programming Environment for Global Activity-based Applications. WOA 2003: 163-169 - [c2]Leonardo Mariani
:
A Fault Taxonomy for Component-Based Software. TACoS 2003: 55-65 - [c1]Giovanni Denaro
, Leonardo Mariani
, Mauro Pezzè
:
Self-Test Components for Highly Reconfigurable Systems. TACoS 2003: 89-98
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint