TY  - RPRT
TI  - Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
AU  - Lidia Losavio
AU  - Marco Paganoni
AU  - Carlo A. Furia
PY  - 2025
UR  - https://arxiv.org/abs/2508.17895
ID  - 2508.17895
ER  -