There's a new release of stateful-check. Anyone had the chance to use it? https://groups.google.com/d/msg/clojure/Jpg05XLJ9uc/PCPkWnZ-BwAJ https://github.com/czan/stateful-check

Btw here's a nice post showing an alternative approach: http://blog.guillermowinkler.com/blog/2015/04/12/verifying-state-machine-behavior-using-test-dot-check/