GitHub topics: state-machine-testing
NicolasT/hedgehog-stateful-demo
A demonstration of stateful systems testing using Hedgehog
Language: Haskell - Size: 35.2 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
1Jajen1/propCheck
Property based testing for kotlintest ported from quickcheck
Language: Kotlin - Size: 627 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 33 - Forks: 1
Clonexy700/NSU-opd-dmta-solver
Customizable and convenient service for working with mathematical formulas from the field of DMTA
Language: JavaScript - Size: 8.67 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 0
the-dr-lazy/purescript-quickcheck-state-machine Fork of meeshkan/purescript-quickcheck-mbt
Test monadic PureScript programs using state machine based models
Language: PureScript - Size: 52.7 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
