state-machine-testing

There are 4 repositories under state-machine-testing topic.

1Jajen1/propCheck
Property based testing for kotlintest ported from quickcheck
Language:Kotlin34 4 161
Clonexy700/NSU-opd-dmta-solver
Customizable and convenient service for working with mathematical formulas from the field of DMTA
Language:JavaScript5 1 00
the-dr-lazy/purescript-quickcheck-state-machine
Test monadic PureScript programs using state machine based models
Language:PureScript3 2 0
NicolasT/hedgehog-stateful-demo
A demonstration of stateful systems testing using Hedgehog
Language:Haskell2 2 0