Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing.

Diego Marmsoler Achim D. Brucker

Published in: TAP@STAF (2022)

Keyphrases

formal semantics
test generation
er model
logical language
operational semantics
first order logic
modeling language
test cases
speech acts
formal language
modelling language
logical reasoning
database systems
context free grammars
expert systems
bayesian networks
machine learning