Leonardo Mariani

research

∙ 09/21/2023

Automated Probe Life-Cycle Management for Monitoring-as-a-Service

Cloud services must be continuously monitored to guarantee that misbehav...

0 Alessandro Tundo, et al. ∙

research

∙ 09/06/2023

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

IoT systems complexity and susceptibility to failures pose significant c...

0 Diego Clerissi, et al. ∙

research

∙ 08/31/2023

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

The advent of edge devices dedicated to machine learning tasks enabled t...

0 Alessandro Tundo, et al. ∙

research

∙ 07/30/2023

Measuring Software Testability via Automatically Generated Test Cases

Estimating software testability can crucially assist software managers t...

0 Luca Guglielmo, et al. ∙

research

∙ 01/31/2023

Property-Based Mutation Testing

Mutation testing is an established software quality assurance technique ...

0 Ezio Bartocci, et al. ∙

research

∙ 09/14/2022

Non-Functional Testing of Runtime Enforcers in Android

Runtime enforcers can be used to ensure that running applications satisf...

0 Oliviero Riganelli, et al. ∙

research

∙ 02/24/2022

Proactive Libraries: Enforcing Correct Behaviors in Android Apps

The Android framework provides a rich set of APIs that can be exploited ...

0 Oliviero Riganelli, et al. ∙

research

∙ 01/03/2022

Exception-Driven Fault Localization for Automated Program Repair

Automated Program Repair (APR) techniques typically exploit spectrum-bas...

0 Davide Ginelli, et al. ∙

research

∙ 10/06/2021

Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment

Hierarchical Temporal Memory (HTM) is an unsupervised learning algorithm...

0 Oliviero Riganelli, et al. ∙

research

∙ 04/12/2021

An Evolutionary Approach to Adapt Tests Across Mobile Apps

Automatic generators of GUI tests often fail to generate semantically re...

0 Leonardo Mariani, et al. ∙

research

∙ 02/28/2021

On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned

The level and quality of automation dramatically affects software testin...

0 Matteo Brunetto, et al. ∙

research

∙ 01/01/2021

Declarative Dashboard Generation

Systems of systems are highly dynamic software systems that require flex...

0 Alessandro Tundo, et al. ∙

research

∙ 12/31/2020

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

Mobile operating systems evolve quickly, frequently updating the APIs th...

0 Marco Mobilio, et al. ∙

research

∙ 12/11/2020

A Comprehensive Study of Code-removal Patches in Automated Program Repair

Automatic Program Repair (APR) techniques can promisingly help reducing ...

0 Davide Ginelli, et al. ∙

research

∙ 10/12/2020

Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps

Android apps must work correctly even if their execution is interrupted ...

0 Oliviero Riganelli, et al. ∙

research

∙ 10/08/2020

Test4Enforcers: Test Case Generation for Software Enforcers

Software enforcers can be used to modify the runtime behavior of softwar...

0 Michell Guzman, et al. ∙

research

∙ 02/05/2020

CBR: Controlled Burst Recording

Collecting traces from software running in the field is both useful and ...

0 Oscar Cornejo, et al. ∙

research

∙ 02/05/2020

A Framework for In-Vivo Testing of Mobile Applications

The ecosystem in which mobile applications run is highly heterogeneous a...

0 Mariano Ceccato, et al. ∙

research

∙ 01/20/2020

In-The-Field Monitoring of Functional Calls: Is It Feasible?

Collecting data about the sequences of function calls executed by an app...

0 Oscar Cornejo, et al. ∙

research

∙ 11/21/2019

Predicting Failures in Multi-Tier Distributed Systems

Many applications are implemented as multi-tier software systems, and ar...

0 Leonardo Mariani, et al. ∙

research

∙ 11/21/2019

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

Dealing with the evolution of operating systems is challenging for devel...

0 Marco Mobilio, et al. ∙

research

∙ 11/21/2019

Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement

Android applications are executed on smartphones equipped with a variety...

0 Oliviero Riganelli, et al. ∙

research

∙ 09/18/2019

Anomaly Detection As-a-Service

Cloud systems are complex, large, and dynamic systems whose behavior mus...

0 Marco Mobilio, et al. ∙

research

∙ 05/27/2019

A Benchmark of Data Loss Bugs for Android Apps

Android apps must be able to deal with both stop events, which require i...

0 Oliviero Riganelli, et al. ∙

research

∙ 03/29/2019

Automatic Failure Explanation in CPS Models

Debugging Cyber-Physical System (CPS) models can be extremely complex. I...

0 Ezio Bartocci, et al. ∙

research

∙ 02/11/2019

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

This report presents the activities of the first working group of the CO...

0 Wolfgang Ahrendt, et al. ∙

research

∙ 10/11/2018

Increasing the Reusability of Enforcers with Lifecycle Events

Runtime enforcement can be effectively used to improve the reliability o...

0 Oliviero Riganelli, et al. ∙

research

∙ 07/19/2018

Model-Based Monitoring for IoTs Smart Cities Applications

Smart Cities are future urban aggregations, where a multitude of heterog...

0 Matteo Orrú, et al. ∙

research

∙ 03/14/2018

CloudHealth: A Model-Driven Approach to Watch the Health of Cloud Services

Cloud systems are complex and large systems where services provided by d...

0 Anas Shatnawi, et al. ∙

research

∙ 03/01/2018

Localizing Faults in Cloud Systems

By leveraging large clusters of commodity hardware, the Cloud offers gre...

0 Leonardo Mariani, et al. ∙

research

∙ 08/30/2017

An Exploratory Study of Field Failures

Field failures, that is, failures caused by faults that escape the testi...

0 Luca Gazzola, et al. ∙

research

∙ 08/24/2017

Fragmented Monitoring

Field data is an invaluable source of information for testers and develo...

0 Oscar Cornejo, et al. ∙

research

∙ 08/07/2017

VART: A Tool for the Automatic Detection of Regression Faults

In this paper we present VART, a tool for automatically revealing regres...

0 Fabrizio Pastore, et al. ∙

research

∙ 08/04/2017

BDCI: Behavioral Driven Conflict Identification

Source Code Management (SCM) systems support software evolution by provi...

0 Fabrizio Pastore, et al. ∙

research

∙ 07/24/2017

Verifying Policy Enforcers

Policy enforcers are sophisticated runtime components that can prevent f...

0 Oliviero Riganelli, et al. ∙

Leonardo Mariani

Featured Co-authors