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

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

A library for stateful property-based testing

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

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

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

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

Web Application Formal Exploiter.

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 )

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

Swift Framework for Model-Based Testing using Mealy Machines

Rust library for consuming Apalache ITF traces

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

Model-Based Testing tool for web application

Test monadic PureScript programs using state machine based models

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

Exploratory test monkey that becomes smarter over time