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.

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

Latex template for Doctoral dissertation

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

Power monitor developed for work in Fudge-5G project