Explore projects

Editor and Solver of Cause-Effect-Graphs

Coverage-based Paths Generator (model-based testing)

A library for extracting debugging information from binary files.

Automated Gui Guidelines Testing

Publicly available artifacts created by the VeriFIT research group.

Demonstration of VALU3S web for ITS course

Experimental extension of Forester for Resource Bounds computation.

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

Test input data generator (model-based testing)