Of interest is Crowbar[0,1], a testing tool for OCaml that combines Quickcheck like property testing with AFL fuzz.

[0] https://github.com/stedolan/crowbar

[1] https://ocaml.org/meetings/ocaml/2017/extended-abstract__201...