Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hex.pm "model-based-testing" keyword

metamon 0.8.0
Property-based testing and metamorphic testing combinator library for Gleam
8 versions - Latest release: 9 days ago - 738 downloads total - 1 stars on GitHub - 1 maintainer
makina 0.3.2
Makina is a DSL for writing PBT models for stateful systems.
6 versions - Latest release: 11 months ago - 1 dependent repositories - 863 downloads total - 5 stars on gitlab.com - 1 maintainer
Related Keywords
testing 2 gleam 1 gleam-library 1 metamorphic-testing 1 pbt 1 property-based-testing 1 shrinking 1 elixir 1 lightweight formal methods 1 program properties 1