Leveraging Formal Specifications to Generate Fuzzing Suites
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 AugDisplayed time zone: Seoul change
18:00 - 19:30
|Deductive Verification of Realistic OCaml Code|
|Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs|
Sumit Padhiyar Indian Institue Of Technology, Madras, Adharsh Kamath National Institute of Technology Karnataka, Surathkal, India, KC Sivaramakrishnan IIT MadrasMedia Attached File Attached
|Wibbily Wobbly Timey Camly|
|Leveraging Formal Specifications to Generate Fuzzing Suites|