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

A project for the course Computer Communications and Networks (bachelor's studies).

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

NodeJS library for developing JavaScript-based OSLC domains and clients.

RTL query engine (as a part of HADES)

ANaConDA framework bundled with several built-in analysers.

Widget Recognition

Interactive JSON-scheme generator from multiple JSON instances