Property-Based Testing in Vest
Samuel Hongang Lam
Abstract
Vest is the first framework for high-performance, formally verified binary parsers and serializers. Developers can specify arbitrary binary formats in a domain-specific language, VestDSL, and Vest uses a combinator-based approach to automatically generate and verify parsers and serializers. Currently in Vest, testing and evaluating parsers and serializers requires manually-written generators and bespoke tests. This project aims to add automatic generation of generators from VestDSL specifications so that an automated workflow for testing parsers and serializers is possible, retaining all of the benefits of the existing framework in performance and verification.
This talk is organized by Segev

