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/06/2023
Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques
IoT systems complexity and susceptibility to failures pose significant c...
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...
research
∙
07/30/2023
Measuring Software Testability via Automatically Generated Test Cases
Estimating software testability can crucially assist software managers t...
research
∙
01/31/2023
Property-Based Mutation Testing
Mutation testing is an established software quality assurance technique ...
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
∙
04/12/2021
An Evolutionary Approach to Adapt Tests Across Mobile Apps
Automatic generators of GUI tests often fail to generate semantically re...
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...
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
∙
12/11/2020
A Comprehensive Study of Code-removal Patches in Automated Program Repair
Automatic Program Repair (APR) techniques can promisingly help reducing ...
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
∙
02/05/2020
CBR: Controlled Burst Recording
Collecting traces from software running in the field is both useful and ...
research
∙
02/05/2020
A Framework for In-Vivo Testing of Mobile Applications
The ecosystem in which mobile applications run is highly heterogeneous a...
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...
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
∙
03/29/2019
Automatic Failure Explanation in CPS Models
Debugging Cyber-Physical System (CPS) models can be extremely complex. I...
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...
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
∙
08/30/2017
An Exploratory Study of Field Failures
Field failures, that is, failures caused by faults that escape the testi...
research
∙
08/24/2017
Fragmented Monitoring
Field data is an invaluable source of information for testers and develo...
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...
research
∙
08/04/2017
BDCI: Behavioral Driven Conflict Identification
Source Code Management (SCM) systems support software evolution by provi...
research
∙
07/24/2017