GitHub repository: tmcgilchrist/qcstm
Description: A simple state-machine framework for OCaml based on QCheck