Personal preference: I really like it when there are functions exported to simplify running the property / counter example from the shell. Like https://github.com/basho/riak_kv/blob/master/test/get_fsm_qc.erl#L83 Just really handy when it comes to changing the code and running the tests as you go.