research
∙
06/01/2023
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks
Self-adaptation solutions need to periodically monitor, reason about, an...
share
research
∙
04/28/2023
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models
Surrogate-assisted search-based testing (SA-SBT) aims to reduce the comp...
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
∙
12/16/2022
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study
An input to a system reveals a non-robust behaviour when, by making a sm...
research
∙
08/15/2022
A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud Solutions
The Internet of things (IoT) is increasingly prevalent in domains such a...
research
∙
06/24/2022
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation
Artifacts support evaluating new research results and help comparing the...
research
∙
05/09/2022
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach
Internet of Things (IoT) is a pivotal technology in application domains ...
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
∙
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
∙
12/12/2020
Digital Twins Are Not Monozygotic – Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators
The increasing levels of software- and data-intensive driving automation...
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
∙
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
∙
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/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
∙
03/08/2019