research
∙
09/21/2023
Automated Probe Life-Cycle Management for Monitoring-as-a-Service
Cloud services must be continuously monitored to guarantee that misbehav...
share
research
∙
09/14/2022
Non-Functional Testing of Runtime Enforcers in Android
Runtime enforcers can be used to ensure that running applications satisf...
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 ...
research
∙
01/03/2022
Exception-Driven Fault Localization for Automated Program Repair
Automated Program Repair (APR) techniques typically exploit spectrum-bas...
research
∙
10/06/2021
Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment
Hierarchical Temporal Memory (HTM) is an unsupervised learning algorithm...
research
∙
01/01/2021
Declarative Dashboard Generation
Systems of systems are highly dynamic software systems that require flex...
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...
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 ...
research
∙
10/08/2020
Test4Enforcers: Test Case Generation for Software Enforcers
Software enforcers can be used to modify the runtime behavior of softwar...
research
∙
11/21/2019
Predicting Failures in Multi-Tier Distributed Systems
Many applications are implemented as multi-tier software systems, and ar...
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...
research
∙
11/21/2019
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement
Android applications are executed on smartphones equipped with a variety...
research
∙
09/18/2019
Anomaly Detection As-a-Service
Cloud systems are complex, large, and dynamic systems whose behavior mus...
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...
research
∙
10/11/2018
Increasing the Reusability of Enforcers with Lifecycle Events
Runtime enforcement can be effectively used to improve the reliability o...
research
∙
07/19/2018
Model-Based Monitoring for IoTs Smart Cities Applications
Smart Cities are future urban aggregations, where a multitude of heterog...
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...
research
∙
03/01/2018
Localizing Faults in Cloud Systems
By leveraging large clusters of commodity hardware, the Cloud offers gre...
research
∙
02/23/2018
Business Rules in e-Government Applications
The introduction of Information and Communication Technologies (ICT) int...
research
∙
02/22/2018
Shared Services Center for E-Government Policy
It is a general opinion that applicative cooperation represents a useful...
research
∙
07/24/2017