haskell-hedgehog's model-based state machine testing together with inline-java - View it on GitHub