Property-Based Testing of OCaml 5's Runtime System [pdf]

Functional Programming and Property-Based Testing

Effect-Driven QuickChecking of Compilers