GitHub repository: xandkar/caravan
Primary language: OCaml
Description: A framework for stateful, black-box testing of arbitrary systems, in OCaml. Inspired by Erlang/OTP's Common Test.