Explore projects

RoadRunner eXtended. Dynamic analyzer for Java programs extended by means for easy monitoring of multi-threaded programs. Forked from RoadRunner.

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

ANaConDA framework bundled with several built-in analysers.

A library for extracting debugging information from binary files.

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

Test input data generator (model-based testing)

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

Publicly available artifacts created by the VeriFIT research group.

Demonstration of VALU3S web for ITS course

Automated Gui Guidelines Testing

Commercial Aerospace Modeling Set