Skip to Main content Skip to Navigation
Conference papers

Leveraging Formal Specifications to Generate Fuzzing Suites

Nicolas Osborne 1 Clément Pascutto 1, 2 
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
Inria Saclay - Ile de France, LMF - Laboratoire Méthodes Formelles
Abstract : When testing a library, developers typically first have to capture the semantics they want to check. They then write the code implementing these tests and find relevant test cases that expose possible misbehaviours. In this work, we present a tool that automatically takes care of these last two steps by automatically generating fuzz testing suites from OCaml interfaces annotated with formal behavioural specifications. We also show some ongoing experiments on the capabilities and limitations of fuzzing applied to real-world libraries.
Document type :
Conference papers
Complete list of metadata
Contributor : Clément Pascutto Connect in order to contact the contributor
Submitted on : Monday, August 30, 2021 - 11:33:57 AM
Last modification on : Friday, August 5, 2022 - 2:58:08 PM


Files produced by the author(s)


  • HAL Id : hal-03328646, version 1


Nicolas Osborne, Clément Pascutto. Leveraging Formal Specifications to Generate Fuzzing Suites. OCaml Users and Developers Workshop, co-located with the 26th ACM SIGPLAN International Conference on Functional Programming, Aug 2021, Virtual, United States. ⟨hal-03328646⟩



Record views


Files downloads