Property based testing for kotlintest ported from quickcheck
-
Updated
Jan 23, 2020 - Kotlin
#
state-machine-testing
Here are 5 public repositories matching this topic...
Property-based testing for distributed protocols
distributed-systems property-based-testing property-testing state-machine-testing distributed-system-testing
-
Updated
Aug 9, 2026 - Rust
Customizable and convenient service for working with mathematical formulas from the field of DMTA
javascript math state-machine simulation state-machine-diagram mathematics discrete-mathematics turing-machine mathematical-modelling turing-machine-simulator simulation-modeling discrete-math state-machine-testing
-
Updated
May 22, 2022 - JavaScript
Test monadic PureScript programs using state machine based models
-
Updated
Mar 27, 2023 - PureScript
A demonstration of stateful systems testing using Hedgehog
testing haskell state-machine quickcheck property-based-testing hedgehog haskell-learning property-testing state-machine-testing
-
Updated
Jan 17, 2023 - Haskell
Add this topic to your repo
To associate your repository with the state-machine-testing topic, visit your repo's landing page and select "manage topics."