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

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

Application Modeler

A growing list of examples that use AltWalker.

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

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

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

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.

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+.

Requirements completeness analysis for TESTAR-generated GUI state models.