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

It's worth looking at Jan's trophy cabinet at the bottom of https://github.com/ocaml-multicore/multicoretests/

His work has uncovered a number of really tricky bugs in the multicore runtime but what's brilliant is the reports normally come with a minimal reproduction. This makes working out the cause so much easier.

Great work Jan.