Conformance Testing of Formal Semantics using Grammar-based Fuzzing

Have you ever wondered how to ensure that your formal semantics captures the intended meaning of a language? In our new paper for TAP2022 we describe a novel approach based on grammar-based fuzzying to automatically test your executable semantics against a reference implementation. We demonstrate the approach by applying it to validate our semantics for Solidity. The paper will be presented at the 16th International Conference on Tests and Proofs co-located with STAF 2022.