{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Leveraging Formal Specifications to Generate Fuzzing Suites\" src=\"https://watch.ocaml.org/videos/embed/sSKdjPdCePowy4yh8ZMEat\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Leveraging Formal Specifications to Generate Fuzzing Suites","author_name":"OCaml Workshop 2021","author_url":"https://watch.ocaml.org/video-channels/ocaml2021","provider_name":"PeerTube","provider_url":"https://watch.ocaml.org","thumbnail_url":"https://watch.ocaml.org/lazy-static/previews/9cb5d750-4035-40bb-b6be-275743c3eb04.jpg","thumbnail_width":850,"thumbnail_height":480}