Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics. - Lidia Losavio; Marco Paganoni; Carlo A. Furia (CoRR, 2025)