model-based-testing
An Automata Learning Library Written in Python
AltWalker is an open source Model-Based Testing framework that supports running tests written in python3 and .NET/C#. You design your tests as a directed graph and AltWalker generates test cases from your graph (using GraphWalker) and executes them.
Minimalistic Python client for interaction with the Apalache model checker over JSON RPC
A web application for visualizing the progress of an AltWalker test run.
