Explore projects

Requirement falsification for cyber-physical systems using generative models and the OGAN algorithm. This is an entry in the falsification track of the ARCH-COMP 2023 competition on verifying continuous and hybrid systems.

System testing using Generative Models. API v2

System testing using Generative Models. API v1. There is a new API version in https://gitlab.abo.fi/stc/stgem2

A tool implementation of the approach presented in https://arxiv.org/abs/2201.11628

This is a Python version of CICFlowmeter EA Edition (based on CICFlowmeter-V4.0) - an Ethernet traffic Bi-flow analyzer.

WOGAN-UAV is a test generation tool created for the Unmanned Aerial Vehicle Testing Competition held as a part of the Search-Based and Fuzz Testing (SBFT) 2024 workshop (https://sbft24.github.io/)

Latex template for Doctoral dissertation