Property-Based Testing for OCaml through Coq

We will present a property-based testing framework for OCaml that leverages the power of QuickChick, a popular and mature testing plugin for the Coq proof assistant, by automatically constructing a extraction-based shim between OCaml and Coq. That gives OCaml programmers access to the advanced automation and fuzzing facilities that QuickChick provides.