research
∙
08/15/2023
Fuzzing for CPS Mutation Testing
Mutation testing can help reduce the risks of releasing faulty software....
share
research
∙
08/10/2023
Testing Updated Apps by Adapting Learned Models
Although App updates are frequent and software engineers would like to v...
research
∙
01/31/2023
DNN Explanation for Safety Analysis: an Empirical Evaluation of Clustering-based Approaches
The adoption of deep neural networks (DNNs) in safety-critical contexts ...
research
∙
10/15/2022
HUDD: A tool to debug DNNs for safety analysis
We present HUDD, a tool that supports safety analysis practices for syst...
research
∙
08/19/2022
Metamorphic Testing for Web System Security
Security testing aims at verifying that the software meets its security ...
research
∙
04/01/2022
Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems
When Deep Neural Networks (DNNs) are used in safety-critical systems, en...
research
∙
01/25/2022
Data-driven Mutation Analysis for Cyber-Physical Systems
Cyber-physical systems (CPSs) typically consist of a wide set of integra...
research
∙
01/13/2022
Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering
Deep neural networks (DNNs) have demonstrated superior performance over ...
research
∙
01/13/2021
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
On-board embedded software developed for spaceflight systems (space soft...
research
∙
12/04/2020
Automated, Cost-effective, and Update-driven App Testing
Apps' pervasive role in our society led to the definition of test automa...
research
∙
02/03/2020
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning
Deep neural networks (DNNs) are increasingly critical in modern safety-c...
research
∙
12/11/2019
Metamorphic Security Testing for Web Systems
Security testing verifies that the data and the resources of software sy...
research
∙
07/19/2019
Automatic Generation of System Test Cases from Use Case Specifications: an NLP-based Approach
Software testing plays a crucial role to ensure the conformance of softw...
research
∙
05/28/2019
Automating Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines
Product Line Engineering (PLE) is a crucial practice in many software de...
research
∙
08/30/2017
An Exploratory Study of Field Failures
Field failures, that is, failures caused by faults that escape the testi...
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