Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with model-based-testing

A curated list of projects in awesome lists tagged with model-based-testing .

https://github.com/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.

combinatorial-testing junit model-based-testing

Last synced: 27 Feb 2025

https://github.com/rjdestigter/xstate-marionettist

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

hacktoberfest jest model-based-testing playwright puppeteer xstate

Last synced: 22 Apr 2025

https://github.com/input-output-hk/quickcheck-dynamic

A library for stateful property-based testing

haskell model-based-testing quickcheck testing-tools

Last synced: 09 Apr 2025

https://github.com/altwalker/altwalker

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

altwalker dotnet graphwalker model-based-testing python test-automation testing

Last synced: 28 Jun 2025

https://github.com/jmid/qc-ptrees

A model-based QuickCheck test of ptrees (Patricia trees)

model-based-testing ocaml patricia-tree property-based-testing quickcheck

Last synced: 01 Dec 2024

https://github.com/altwalker/model-editor

A web based editor and visualizer for models written using the GraphWalker JSON format.

altwalker emberjs graphwalker javascript model-based-testing nodejs

Last synced: 12 Apr 2025

https://github.com/nerdsupremacist/mealy

Swift Framework for Model-Based Testing using Mealy Machines

model-based-testing swift testing

Last synced: 12 Feb 2025

https://github.com/isaac-defrain/model-based-trace-checking

Model-based trace-checking ✅ check the conformance of your implementation to your specification

formal-verification model-based-testing rust tlaplus

Last synced: 15 Dec 2024

https://github.com/maswag/falcaun

Falsification of CPS via Automata Learning

automata-learning model-based-testing simulink testing-tools

Last synced: 14 Apr 2025

https://github.com/lenntt/kinglouie

Exploratory test monkey that becomes smarter over time

exploratory-test-monkey model-based-testing selenium test-automation testing web-application

Last synced: 15 Apr 2025

https://github.com/altwalker/live-viewer

A web application for visualizing the progress of an AltWalker test run.

altwalker javascript model-based-testing python test-automation testing testing-tools

Last synced: 03 May 2025

https://github.com/altwalker/vscode-model-visualizer

A Visual Studio Code extension for displaying JSON models for AltWalker and GraphWalker.

altwalker graphwalker model-based-testing typescript vscode vscode-extension

Last synced: 01 Mar 2025

https://github.com/jg8481/go-language-rpa-tests

A collection of Go Language inspired test tools and strategies enhanced with Robot Framework RPA.

chaos-testing exploratory-testing go go-lang go-language golang load-testing model-based-testing robotframework rpa rpa-robotic-process-automation

Last synced: 06 Apr 2025

https://github.com/sayamalt/fraudulent-transactions-prediction

Successfully trained a machine learning model which can predict whether a given transaction is fraud or not.

data-visualization exploratory-data-analysis imblearn machine-learning model-based-testing model-building predictive-analytics sklearn

Last synced: 19 Feb 2025

https://github.com/altwalker/model-visualizer

A JavaScript library for visualizing and visualy editing JSON models for AltWalker and GraphWalker.

altwalker graphwalker javascript model-based-testing nodejs

Last synced: 01 Mar 2025

https://github.com/robert-96/altwalker-graph-data-demo

A simple example of an AltWalker project that updates the graph data from the test code.

altwalker graphwalker model-based-testing python

Last synced: 22 Mar 2025

https://github.com/altwalker/python-ecommerce-selenium-conf

Demo for the State Model Based Testing with Selenium workshop at SeleniumConf 2023 in Chicago.

altwalker graphwalker model-based-testing python selenium

Last synced: 01 Mar 2025

https://github.com/ianwold/cfweaver

Generate comprehensive test scenarios from control flow models in simple markdown

combinatorial-testing control-flow control-flow-graph control-flow-models model-based-testing test-generation testing testing-tool testing-tools

Last synced: 26 Mar 2025

https://github.com/seeker04/nvim-mbt

A model based approach to testing Neovim's mode transitions.

model-based-testing neovim nvim testing

Last synced: 26 Feb 2025

https://github.com/otheec/webtesting

Webtesting, Cucumber, Model-based testing

cucmber model-based-testing web-testing

Last synced: 15 Mar 2025

https://github.com/robert-96/altwalker-demo

A simple demo using AltWalker. AltWalker is an open source Model-Based Testing framework.

altwalker graphwalker model-based-testing python

Last synced: 22 Mar 2025

https://github.com/robert-96/vue-todo-altwalker-tests

AltWalker tests for the Vue.js ToDo app from: https://robert-96.github.io/vue-todo/

altwalker automation model-based-testing python testing

Last synced: 22 Mar 2025

https://github.com/robert-96/altwalker-dotnet-demo

A simple .NET demo using AltWalker. AltWalker is an open source Model-Based Testing framework.

altwalker dotnet graphwalker model-based-testing

Last synced: 22 Mar 2025

https://github.com/altwalker/altwalker-examples

A growing list of examples that use AltWalker.

altwalker dotnet model-based-testing python selenium testing

Last synced: 01 Mar 2025

https://github.com/altwalker/dotnet-executor

A .NET executor for AltWalker, a convenient programming interface for exposing and executing your C# tests within the AltWalker framework.

altwalker csharp dotnet model-based-testing test-automation testing

Last synced: 01 Mar 2025