Strong Automated Testing of OCaml Libraries

François Pottier (1)

1 CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme

We present Monolith, a programmable tool that helps apply random testing or fuzz testing to an OCaml library. Monolith provides a rich specification language, which allows the user to describe her library's API, and an engine, which generates clients of this API and executes them. This reduces the problem of testing a library to the problem of testing a complete program, one that is effectively addressed by off-the-shelf fuzzers such as AFL.

Domaines: Langage de programmation [cs.PL]

François Pottier. Strong Automated Testing of OCaml Libraries. JFLA 2021 - 32es Journées Francophones des Langages Applicatifs, Feb 2021, Saint Médard d’Excideuil, France. ⟨hal-03049511⟩