52 citations · 119 across the 9 of their papers we have counts for
6 papers · 1 filter
A Two-phase Metamorphic Approach for Testing Industrial Control Systems
Gaadha Sudheerbabu, Tanwir Ahmad, Filip Sebek +3
We elaborate on a metamorphic approach for testing industrial control systems. The proposed approach consists of two phases: an exploration phase in which we learn about fault patt…
Consistency of UML class, object and statechart diagrams using ontology reasoners
Ali Hanzala Khan, Ivan Porres
We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams usi…
WOGAN at the SBST 2022 CPS Tool Competition
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
WOGAN is an online test generation algorithm based on Wasserstein generative adversarial networks. In this note, we present how WOGAN works and summarize its performance in the SBS…
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems
Jarkko Peltomäki, Frankie Spencer, Ivan Porres
We propose a novel online test generation algorithm WOGAN based on Wasserstein Generative Adversarial Networks. WOGAN is a general-purpose black-box test generator applicable to an…
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Jarkko Peltomäki, Ivan Porres
We consider the problem of falsifying safety requirements of Cyber-Physical Systems expressed in signal temporal logic (STL). This problem can be turned into an optimization proble…
Early Detection of Network Attacks Using Deep Learning
Tanwir Ahmad, Dragos Truscan, Juri Vain +1
The Internet has become a prime subject to security attacks and intrusions by attackers. These attacks can lead to system malfunction, network breakdown, data corruption or theft.…