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)

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

Rust library for consuming Apalache ITF traces

Model-Based Testing tool for web application

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