Explore projects

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.

Zakladni testy pro 2. projekt IZP 2020/21

Interactive Report Viewer

Interactive JSON-scheme generator from multiple JSON instances