Specification-based testing for refinement.

Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff

Browse the full SEFM paper archive.