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

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

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

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.

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 )

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 application for visualizing the progress of an AltWalker test run.

Model-Based Testing tool for web application

Falsification of CPS via Automata Learning