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

Testing Environment via Cluster Solution

SUT Fixture using Docker

Core system of DB detectors.

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

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.

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

Project for testing development of Eclipse plugins using Maven and distributing them as maven or p2 packages.

RTL query engine (as a part of HADES)

Eclipse-compatible Eclipse Arrowhead client.

Widget Recognition