model-based-testing topic

Random testing library for C#

AnthonyLloyd

An Automata Learning Library Written in Python

DES-Lab

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

dakusui

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

tienvx

Model-based testing tool

informalsystems

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

rjdestigter

A library for stateful property-based testing

input-output-hk

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

altwalker