Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics

Lidia Losavio, Marco Paganoni, Carlo A. Furia

Lightweight validation technique, such as those based on random testing, are sometimes practical alternatives to full formal verification -- providing valuable benefits, such as fi…