Explore projects

Coverage-based Paths Generator (model-based testing)

Core system of DB detectors.

Detector of semantics of data in relational databases

An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata

Common BUS for communication of all Testos componens.

Příklady záznamů webového serveru.

Local copy of Roadrunner, original: https://github.com/stephenfreund/RoadRunner

Widget Recognition

SUT Fixture using Docker

A project for the course Network Applications and Network Administration (bachelor's studies).