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