Skip to Main content Skip to Navigation
Conference papers

Strong Automated Testing of OCaml Libraries

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-03049511
Contributor : François Pottier <>
Submitted on : Wednesday, December 9, 2020 - 9:06:58 PM
Last modification on : Wednesday, January 20, 2021 - 8:52:46 AM

File

pottier-monolith-2021.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03049511, version 1

Collections

Citation

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

Share

Metrics

Record views

25

Files downloads

82