M

model-based-testing

Makina is a testing library that provides a DSL for writing PBT models for stateful systems.

This repository was moved to GitHub, you can find the new repository at: https://github.com/altwalker/dotnet-executor

This repository was moved to GitHub, you can find the new repository at: https://github.com/altwalker/altwalker

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

Visit the app at: https://altom.gitlab.io/altwalker/model-editor.

A JavaScript library for displaying JSON models for AltWalker and GraphWalker.

Read the documentation on: https://altom.gitlab.io/altwalker/model-visualizer.