PyRank

Model Based Testing Python Packages

Python packages with the GitHub topic model-based-testing. Sorted by monthly downloads, with stars and forks.
altwalker
altwalker

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

393 24 3
konnov
apalache-rpc-client

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

300 1 0
altwalker
altwalker-live-viewer

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

149 4 1