We develop ParaFuzz, an input and concurrency fuzzing tool for Multicore OCaml programs. ParaFuzz builds on top of Crowbar which combines AFL-based grey box fuzzing with QuickCheck and extends it to handle parallelism.

Sumit Padhiyar Indian Institue Of Technology, Madras India

Adharsh Kamath National Institute of Technology Karnataka, Surathkal, India India

KC Sivaramakrishnan IIT Madras