We elaborate on a metamorphic approach for testing industrial control
sy...
We propose an automatic approach to analyze the consistency and
satisfia...
WOGAN is an online test generation algorithm based on Wasserstein genera...
We propose a novel online test generation algorithm WOGAN based on
Wasse...
We consider the problem of falsifying safety requirements of Cyber-Physi...
The Internet has become a prime subject to security attacks and intrusio...
In this paper we present a novel algorithm for automatic performance tes...
This paper explores the state of the art on to methods to verify and val...
Background: Virtual Machine (VM) consolidation is an effective technique...