The Wayback Machine - https://web.archive.org/web/20220630200335/https://github.com/topics/model-based-testing
Here are
38 public repositories
matching this topic...
A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.
Random testing library for C#
An Active Automata Learning Library Written in Python
Updated
Jun 27, 2022
Python
Updated
Jun 28, 2022
Python
Model based testing with Jest, XState and Puppeteer or Playwright made easy
Updated
Dec 2, 2020
TypeScript
A core library for Sicope Model, a Model-Based Testing tool for web application.
A model-based QuickCheck test of ptrees (Patricia trees)
Updated
Jul 15, 2019
OCaml
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 )
Updated
Mar 30, 2019
Python
Web Application Formal Exploiter
Updated
Jan 29, 2018
Python
Exploratory test monkey that becomes smarter over time
Updated
Jan 18, 2022
JavaScript
Falsification of CPS via Automata Learning
Updated
Jun 23, 2022
Java
Swift Framework for Model-Based Testing using Mealy Machines
Updated
Aug 23, 2021
Swift
A toolkit to automate the testing process of Cockpit Display Systems (CDS)
Updated
Dec 14, 2021
Java
Model-based trace-checking POC for TezEdge
Updated
Jul 27, 2021
Rust
Model-based testing extension for Codeception
A toolset to support automated system-level testing of unmanned aerial systems (UAS).
Updated
Dec 14, 2021
Java
A model-based test case generator
Updated
Jun 17, 2022
Java
Code correlated to paper "Towards Substructural Property-Based Testing"
Updated
Jul 2, 2021
Prolog
A model-based testing example for modern web applications with GraphWalker and Selenium frameworks.
Updated
Apr 28, 2022
Java
Model-Based Testing tool for web application
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.
Updated
Feb 27, 2022
Python
Splitting data into Linear Model, Exponential, Qaudratic, Additive seasonality , Additive Seasonality Quadratic , Multiplicative Seasonality, Multiplicative Additive Seasonality. Prediction for new time period
Updated
Feb 9, 2021
Jupyter Notebook
Mirror of Lauterbach's TRACE32 PIL Testing on custom hardware and virtual platforms
Updated
Feb 16, 2022
MATLAB
Test monadic PureScript programs using state machine based models
Updated
Apr 15, 2022
PureScript
A simple .NET demo using AltWalker. AltWalker is an open source Model-Based Testing framework.
A simple demo using AltWalker. AltWalker is an open source Model-Based Testing framework.
Updated
Jun 8, 2021
Python
Model-Based Testing of Read Only Graph Queries
A simple example of an AltWalker project that updates the graph data from the test code.
Updated
Jul 8, 2021
Python
GitHub Action for AltWalker/GraphWalker.
Updated
Apr 9, 2021
Shell
Improve this page
Add a description, image, and links to the
model-based-testing
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
model-based-testing
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.