Explore projects

Test input data generator (model-based testing)

Control Flow Graph Query Engine. Algorithms and data structures (API) for queries manipulating CFG (such as building CFG during compilation, CFG traversal, node/edge metadata manipulation).

A library for extracting debugging information from binary files.

Coverage-based Paths Generator (model-based testing)

Core system of DB detectors.

Detector of semantics of data in relational databases

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

Common BUS for communication of all Testos componens.

Příklady záznamů webového serveru.