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.

Kommentar verfassen

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

Du kommentierst mit Deinem Abmelden /  Ändern )


Du kommentierst mit Deinem Twitter-Konto. Abmelden /  Ändern )


Du kommentierst mit Deinem Facebook-Konto. Abmelden /  Ändern )

Verbinde mit %s

%d Bloggern gefällt das: