@misc{indiciaec5e9432f257c,
  title = {Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics},
  author = {Lidia Losavio and Marco Paganoni and Carlo A. Furia},
  year = {2025},
  url = {https://arxiv.org/abs/2508.17895},
  note = {Source identifier: 2508.17895}
}