An Automata Learning Library Written in Python
-
Updated
Sep 6, 2024 - Python
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#.
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
Model-Based Testing tool for web application
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.
Test monadic PureScript programs using state machine based models
Add a description, image, and links to the model-based-testing topic page so that developers can more easily learn about it.
To associate your repository with the model-based-testing topic, visit your repo's landing page and select "manage topics."