research
∙
08/19/2022
A Two-phase Metamorphic Approach for Testing Industrial Control Systems
We elaborate on a metamorphic approach for testing industrial control sy...
share
research
∙
05/23/2022
Consistency of UML class, object and statechart diagrams using ontology reasoners
We propose an automatic approach to analyze the consistency and satisfia...
research
∙
05/23/2022
WOGAN at the SBST 2022 CPS Tool Competition
WOGAN is an online test generation algorithm based on Wasserstein genera...
research
∙
05/23/2022
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems
We propose a novel online test generation algorithm WOGAN based on Wasse...
research
∙
05/23/2022
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
We consider the problem of falsifying safety requirements of Cyber-Physi...
research
∙
01/27/2022
Early Detection of Network Attacks Using Deep Learning
The Internet has become a prime subject to security attacks and intrusio...
research
∙
04/21/2021
Online GANs for Automatic Performance Testing
In this paper we present a novel algorithm for automatic performance tes...
research
∙
01/15/2021
On the Verification and Validation of AI Navigation Algorithms
This paper explores the state of the art on to methods to verify and val...
research
∙
03/08/2018