ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 19:10 - 19:30 at OCaml - Session 2 Chair(s): Tim McGilchrist

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.

Fri 27 Aug

Displayed time zone: Seoul change

18:00 - 19:30
Session 2OCaml at OCaml
Chair(s): Tim McGilchrist Tarides
18:00
30m
Talk
Deductive Verification of Realistic OCaml Code
OCaml
Carlos Pinto NOVA LINCS & Universidade da Beira Interior, Portugal, Mário Pereira NOVA LINCS & DI -- Nova School of Science and Technology, Simão Melo de Sousa NOVA LINCS & Universidade da Beira Interior, Portugal
18:30
20m
Talk
Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
OCaml
Sumit Padhiyar Indian Institue Of Technology, Madras, Adharsh Kamath National Institute of Technology Karnataka, Surathkal, India, KC Sivaramakrishnan IIT Madras
Media Attached File Attached
18:50
20m
Talk
Wibbily Wobbly Timey Camly
OCaml
Di Long Li The Australian National University, Gabriel Radanne Inria
19:10
20m
Talk
Leveraging Formal Specifications to Generate Fuzzing Suites
OCaml
Nicolas Osborne Tarides, Clément Pascutto Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF