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
∙
08/02/2023
TEASMA: A Practical Approach for the Test Assessment of Deep Neural Networks using Mutation Analysis
Successful deployment of Deep Neural Networks (DNNs), particularly in sa...
research
∙
07/31/2023
An Empirical Study on Log-based Anomaly Detection Using Machine Learning
The growth of systems complexity increases the need of automated techniq...
research
∙
06/21/2023
Black-Box Prediction of Flaky Test Fix Categories Using Language Models
Flaky tests are problematic because they non-deterministically pass or f...
research
∙
05/25/2023
Impact of Log Parsing on Log-based Anomaly Detection
Software systems log massive amounts of data, recording important runtim...
research
∙
04/03/2023
LTM: Scalable and Black-box Similarity-based Test Suite Minimization based on Language Models
Test suite minimization (TSM) is typically used to improve the efficienc...
research
∙
03/13/2023
Systematic Evaluation of Deep Learning Models for Failure Prediction
With the increasing complexity and scope of software systems, their depe...
research
∙
03/08/2023
DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep Neural Networks
Deep neural networks (DNNs) are widely used in various application domai...
research
∙
02/27/2023
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach
Cyber-Physical Systems (CPS) are most of the time safety-critical and ex...
research
∙
02/20/2023
Probabilistic WCET Estimation for Weakly Hard Real-Time Systems
Weakly hard real-time systems can, to some degree, tolerate deadline mis...
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/28/2022
ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search
Executing large test suites is time and resource consuming, sometimes im...
research
∙
10/27/2022
Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems
Deep Neural Networks (DNNs) have been widely used to perform real-world ...
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
∙
06/21/2022
COREQQA – A COmpliance REQuirements Understanding using Question Answering Tool
We introduce COREQQA, a tool for assisting requirements engineers in acq...
research
∙
06/15/2022
Search-Based Testing Approach for Deep Reinforcement Learning Agents
Deep Reinforcement Learning (DRL) algorithms have been increasingly empl...
research
∙
06/08/2022
Trace Diagnostics for Signal-based Temporal Properties
Most of the trace-checking tools only yield a Boolean verdict. However, ...
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
∙
12/23/2021
Flakify: A Black-Box, Language Model-based Predictor for Flaky Tests
Software testing assures that code changes do not adversely affect exist...
research
∙
12/20/2021
Black-Box Testing of Deep Neural Networks through Test Case Diversity
Deep Neural Networks (DNNs) have been extensively used in many areas inc...
research
∙
09/27/2021
Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts
Continuous Integration (CI) requires efficient regression testing to ens...
research
∙
06/25/2021
Test Case Selection and Prioritization Using Machine Learning: A Systematic Literature Review
Regression testing is an essential activity to assure that software code...
research
∙
06/03/2021
PRINS: Scalable Model Inference for Component-based System Logs
Behavioral software models play a key role in many software engineering ...
research
∙
01/26/2021
Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
We distinguish two general modes of testing for Deep Neural Networks (DN...
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
∙
11/03/2020
Reinforcement Learning for Test Case Prioritization
Continuous Integration (CI) significantly reduces integration problems, ...
research
∙
07/23/2020
Model Driven Engineering for Data Protection and Privacy: Application and Experience with GDPR
In Europe and indeed worldwide, the General Data Protection Regulation (...
research
∙
05/04/2020
On Systematically Building a Controlled Natural Language for Functional Requirements
[Context] Natural language (NL) is pervasive in software requirements sp...
research
∙
04/15/2020
Effective Removal of Operational Log Messages: an Application to Model Inference
Model inference aims to extract accurate models from the execution logs ...
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
∙
01/30/2020
An Automated Framework for the Extraction of Semantic Legal Metadata from Legal Texts
Semantic legal metadata provides information that helps with understandi...
research
∙
12/11/2019
Metamorphic Security Testing for Web Systems
Security testing verifies that the data and the resources of software sy...
research
∙
11/28/2019
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
There is a growing body of research on developing testing techniques for...
research
∙
08/06/2019
Scalable Inference of System-level Models from Component Logs
Behavioral software models play a key role in many software engineering ...
research
∙
03/08/2019