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

Lidia Losavio, Marco Paganoni, Carlo A. Furia

Browse the full IFM paper archive.