39 citations · 44 across the 5 of their papers we have counts for
8 papers
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…
Online GANs for Automatic Performance Testing
Ivan Porres, Hergys Rexha, Sébastien Lafond
In this paper we present a novel algorithm for automatic performance testing that uses an online variant of the Generative Adversarial Network (GAN) to optimize the test generation…
On the Verification and Validation of AI Navigation Algorithms
Ivan Porres, Sepinoud Azimi, Sébastien Lafond +3
This paper explores the state of the art on to methods to verify and validate navigation algorithms for autonomous surface ships. We perform a systematic mapping study to find rese…