Explore projects

Extracting CFGs from Java programs using analysis of bytecode.

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

Test Management Tool

SUT Fixture using Docker

Core system of DB detectors.

Testing Environment via Cluster Solution

Library for manipulation and classification of communication messages.

Library for abstraction and concretization of stream of messages of certain similarity or class.

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

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

Commercial Aerospace Modeling Set

A tool for automated translation of specification to a structured data.

Demonstration of VALU3S web for ITS course

Editor and Solver of Cause-Effect-Graphs