Explore projects

Automated Gui Guidelines Testing

A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning

JavaScript-based OSLC Architecture Management client.

Search-Based Testing Environment

Zakladni testy pro 2. projekt IZP 2020/21

ANaConDA framework bundled with several built-in analysers.

Coverage-based Paths Generator (model-based testing)

NodeJS library for developing JavaScript-based OSLC domains and clients.

Java Task Executor

MINA is a tool for verification of programs with an unbounded number of threads.