Explore projects

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

System testing using Generative Models. API v2

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/)

System testing using Generative Models

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.

Latex template for Doctoral dissertation

Infuze test generator and fault localizer tool implemented using metamorphic testing and spectrum based fault localization techniques.