Explore projects

Search-Based Testing Environment

Zakladni testy pro 2. projekt IZP 2020/21

An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata

Common BUS for communication of all Testos componens.

JavaScript-based OSLC Architecture Management domain.

Search-Based Testing Environment

Publicly available artifacts created by the VeriFIT research group.