model-based-testing
There are 67 repositories under model-based-testing topic.
DES-Lab/AALpy
An Automata Learning Library Written in Python
AnthonyLloyd/CsCheck
Random testing library for C#
dakusui/jcunit
A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.
informalsystems/modelator
Model-based testing tool
input-output-hk/quickcheck-dynamic
A library for stateful property-based testing
rjdestigter/xstate-marionettist
Model based testing with Jest, XState and Puppeteer or Playwright made easy
altwalker/altwalker
AltWalker is an open source Model-Based Testing framework that supports running tests written in Python3 and .NET/C#.
tienvx/mbt-bundle
A core library for Sicope Model, a Model-Based Testing tool for web application.
informalsystems/cosmwasm-to-quint
Semi-automated modelling and Model-Based Testing for CosmWasm contracts
ArtemBaskal/model-based-testing-calculator
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
jmid/qc-ptrees
A model-based QuickCheck test of ptrees (Patricia trees)
altwalker/model-editor
A web based editor and visualizer for models written using the GraphWalker JSON format.
rhaidiz/wafex
Web Application Formal Exploiter.
tosoto/grc
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 )
informalsystems/itf-rs
Rust library for consuming Apalache ITF traces
Isaac-DeFrain/model-based-trace-checking
Model-based trace-checking ✅ check the conformance of your implementation to your specification
nerdsupremacist/Mealy
Swift Framework for Model-Based Testing using Mealy Machines
sicope-model/sicope-model
Model-Based Testing tool for web application
altwalker/live-viewer
A web application for visualizing the progress of an AltWalker test run.
hassansartaj/cdst-toolkit
A toolkit to automate the testing process of Cockpit Display Systems (CDS)
hassansartaj/uast-toolset
A toolset to support automated system-level testing of unmanned aerial systems (UAS).
MasWag/FalCAuN
Falsification of CPS via Automata Learning
zenseact/zmbt-framework
Zenseact Model-based Testing Framework
lenntt/kinglouie
Exploratory test monkey that becomes smarter over time
sajtizsolt/graphwalker-selenium
A model-based testing example for modern web applications with GraphWalker and Selenium frameworks.
the-dr-lazy/purescript-quickcheck-state-machine
Test monadic PureScript programs using state machine based models
HiConfiT/hiconfit-core
A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques
jg8481/go-language-rpa-tests
A collection of Go Language inspired test tools and strategies enhanced with Robot Framework RPA.
lauterbach-mirror/t32xil
Mirror of Lauterbach's TRACE32 PIL Testing on custom hardware and virtual platforms
pairwise-testing/python-allpairspy
A python library for test combinations generator. The generator allows one to create a set of tests using "pairwise combinations" method, reducing a number of combinations of variables into a lesser set that covers most situations.
TestOptimal/MBT
TestOptimal MBT (Open-Source)
Tovy97/Towards-Substructural-Property-Based-Testing
Code correlated to paper "Towards Substructural Property-Based Testing"
altwalker/model-visualizer
A JavaScript library for visualizing and visualy editing JSON models for AltWalker and GraphWalker.
altwalker/vscode-model-visualizer
A Visual Studio Code extension for displaying JSON models for AltWalker and GraphWalker.
IanWold/CFWeaver
Generate comprehensive test scenarios from control flow models in simple markdown
itdojp/ae-framework
AI-enhanced development framework that turns natural language into formal specs and production-grade code with agentic pipelines and quality gates.