M

model-based-testing

Group README and cross-project OpenSpec coordination for ModelJUnit

ModelJUnit documentation site (MkDocs)

ModelJUnit Eclipse E4 plugin (Tycho build)

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/docker-images

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

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.