Explore projects

VeriFIT Reusable Java Components.

RTL query engine (as a part of HADES)

Search-Based Testing Environment

Eclipse-compatible Eclipse Arrowhead client.

Demonstration of VALU3S web for ITS course

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

Test input data generator (model-based testing)

MINA is a tool for verification of programs with an unbounded number of threads.

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

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.

Demonstration of VALU3S web for ITS course