j-mueller/quickcheck-state-machine

Test monadic programs using state machine based models

HaskellNOASSERTION