52 citations · 119 across the 9 of their papers we have counts for
4 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…
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…
Analyzing Consistency of Behavioral REST Web Service Interfaces
Irum Rauf, Ali Hanzala Khan, Ivan Porres
REST web services can offer complex operations that do more than just simply creating, retrieving, updating and deleting information from a database. We have proposed an approach t…