Explore projects

VeriFIT Reusable Java Components.

Demonstration of VALU3S web for ITS course

Vstupy pro 1. projekt do IOSu (2022).

Parametrized Log-checker

OSLC client(s) compatible with both Maven and Eclipse.

Demonstration of VALU3S web for ITS course

combine: tool for generating a covering array for T-wise combinatorial testing

Publicly available artifacts created by the VeriFIT research group.

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

Dataster eXtended (dataster + combine)

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