There are some examples, for example Crowbar is an OCaml tool that uses AFL to drive property based tests.