A tool for Model Based Testing
test
model
test-suite
formal-methods
testing-framework
test-case-generation
testing-tool
composable-models
executable-specification
-
Updated
Apr 17, 2022 - Haskell