research
∙
08/03/2023
SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents
Deep reinforcement learning algorithms (DRL) are increasingly being used...
share
research
∙
05/11/2023
Automated Smell Detection and Recommendation in Natural Language Requirements
Requirement specifications are typically written in natural language (NL...
research
∙
01/31/2023
Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search
In Machine Learning (ML)-enabled autonomous systems (MLASs), it is essen...
research
∙
10/27/2022
Learning Failure-Inducing Models for Testing Software-Defined Networks
Software-defined networks (SDN) enable flexible and effective communicat...
research
∙
09/20/2022
NLP-based Automated Compliance Checking of Data Processing Agreements against GDPR
Processing personal data is regulated in Europe by the General Data Prot...
research
∙
08/19/2022
Metamorphic Testing for Web System Security
Security testing aims at verifying that the software meets its security ...
research
∙
02/17/2022
A Machine Learning Approach for Automated Filling of Data Entry Forms
Users frequently interact with software systems through data entry forms...
research
∙
10/28/2021
An AI-based Approach for Tracing Content Requirements in Financial Documents
The completeness (in terms of content) of financial documents is a funda...
research
∙
06/10/2021
AI-enabled Automation for Completeness Checking of Privacy Policies
Technological advances in information sharing have raised concerns about...
research
∙
02/15/2021
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach
In real-time systems, priorities assigned to real-time tasks determine t...
research
∙
12/11/2020
Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search
Automatically detecting the positions of key-points (e.g., facial key-po...
research
∙
09/25/2020
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
Cyber-physical systems combine software and physical components. Specifi...
research
∙
10/07/2019
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
Black-box testing has been extensively applied to test models of Cyber-P...
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/29/2019
Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach
The concept of Internet of Things (IoT) has led to the development of ma...
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
∙
05/09/2019
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models
Matlab/Simulink is a development and simulation language that is widely ...
research
∙
02/01/2019