Explore projects

Extracting CFGs from Java programs using analysis of bytecode.

Testing Environment via Cluster Solution

SUT Fixture using Docker

Test Management Tool

Core system of DB detectors.

Control Flow Graph Query Engine. Algorithms and data structures (API) for queries manipulating CFG (such as building CFG during compilation, CFG traversal, node/edge metadata manipulation).

This bachelor thesis deals with the investigation of amplitude and phase frequency responses of linear electrical circuits. It compares classical methods of investigation using a symbolic-complex method with investigation using dierential e

Tyrant is an open source tool, that learns from the logs of captured communication (in form of messages) and reproduces the run in form of the so called scenario.

A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning

RTL query engine (as a part of HADES)

Demonstration of VALU3S web for ITS course

ANaConDA framework bundled with several built-in analysers.

A tool for testing a network system under different circumstances of a transmission line. The tool simulates various network conditions, which may result from real faults (like packet loss, big lattency, jitter).