no code implementations • 31 Oct 2023 • Jarkko Peltomäki, Ivan Porres
We present the OGAN algorithm for automatic requirement falsification of cyber-physical systems.
no code implementations • 23 May 2022 • Jarkko Peltomäki, Frankie Spencer, Ivan Porres
WOGAN is an online test generation algorithm based on Wasserstein generative adversarial networks.
no code implementations • 23 May 2022 • Jarkko Peltomäki, Frankie Spencer, Ivan Porres
We propose a novel online test generation algorithm WOGAN based on Wasserstein Generative Adversarial Networks.
no code implementations • 23 May 2022 • Jarkko Peltomäki, Ivan Porres
Our experiments indicate that, in addition to saving resources, this multi-armed bandit algorithm can falsify requirements with fewer number of executions on the system under test when compared to (i) an algorithm training a single GAN for the complete conjunctive requirement and (ii) an algorithm always training $n$ GANs at each step.