Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs

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