Explore projects
-
Updated
-
Updated
-
Updated
-
Sudeep Kanur Chandra Shekar / ravenflow
MIT LicenseUpdated -
Updated
-
stc / experiments / wogan-uav
MIT LicenseWOGAN-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/)
Updated -
-
Tanwir Ahmad / CICFlowMeter Py
MIT LicenseThis is a Python version of CICFlowmeter EA Edition (based on CICFlowmeter-V4.0) - an Ethernet traffic Bi-flow analyzer.
Updated -
Updated
-
Erik Wihlman / n2t-hw-validator
MIT LicenseUpdated -
Updated
-
stc / experiments / ogan
MIT LicenseRequirement 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.
Updated -
-
Jesper Winsten / Assignment Grading Software
GNU General Public License v3.0 or laterUpdated -
stc / stgem
MIT LicenseSystem testing using Generative Models. API v1. There is a new API version in https://gitlab.abo.fi/stc/stgem2
Updated -
Updated
-
stc / The Surface Ship Simulator SSS
MIT LicenseUpdated -
This repository contains bottleneck distributions of RUBiS(poi) and RUBiS(uni), and data related to the performance of iPerfXRL.
Updated