A free, open-source Java library for automata learning algorithms

An Automata Learning Library Written in Python

Random testing library for C#

A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.

Model-based testing tool

A library for stateful property-based testing

Model based testing with Jest, XState and Puppeteer or Playwright made easy

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

A core library for Sicope Model, a Model-Based Testing tool for web application.

Semi-automated modelling and Model-Based Testing for CosmWasm contracts

Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using XState. Liked By XState Creator

A model-based QuickCheck test of ptrees (Patricia trees)

Rust library for consuming Apalache ITF traces

A web based editor and visualizer for models written using the GraphWalker JSON format.

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.

Model-based trace-checking ✅ check the conformance of your implementation to your specification

Swift Framework for Model-Based Testing using Mealy Machines

Model-Based Testing tool for web application

Falsification of CPS via Automata Learning

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

A toolset to support automated system-level testing of unmanned aerial systems (UAS).

A toolkit to automate the testing process of Cockpit Display Systems (CDS)

Zenseact Model-based Testing Framework

Mirror of Lauterbach's TRACE32 PIL Testing on custom hardware and virtual platforms

Exploratory test monkey that becomes smarter over time

A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques

Code correlated to paper "Towards Substructural Property-Based Testing"

A model-based testing example for modern web applications with GraphWalker and Selenium frameworks.

TestOptimal MBT (Open-Source)