model-based-testing

Model-based testing tool

AltWalker is an open source Model-Based Testing framework that supports running tests written in Python3 and .NET/C#.

Grc is support tool for model based testing. Converts graphml file to scenarios, both manual or automated ( Java, JavaScript, Python, C++, C code generation support )

Web Application Formal Exploiter.

A web application for visualizing the progress of an AltWalker test run.

A python library for test combinations generator. The generator allows one to create a set of tests using "pairwise combinations" method, reducing a number of combinations of variables into a lesser set that covers most situations.

Workshop "Find distributed systems bugs before production" at DevConf.CZ. Brno, June 2026

Successfully trained a machine learning model which can predict whether a given transaction is fraud or not.

A simple example of an AltWalker project that updates the graph data from the test code.

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

Application Modeler

Model-Based Tests implemented with AltWalker, targeting the demo PetClinic site.

A growing list of examples that use AltWalker.

Deterministic model-based testing and fault injection for multiplayer game protocols, with replay shrinking.

AltWalker tests for the Vue.js ToDo app from: https://robert-96.github.io/vue-todo/

A simple demo using AltWalker. AltWalker is an open source Model-Based Testing framework.

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

Demo for the State Model Based Testing with Selenium workshop at SeleniumConf 2023 in Chicago.

Requirements completeness analysis for TESTAR-generated GUI state models.

Change-data-capture applier that converges to exactly the rows the source log implies - under duplicate delivery, out-of-order delivery, and 24 processes killed mid-transaction. Contiguous low watermark committed in the data's transaction, plus a chaos harness that reconciles against a reference model.