Specification-based Testing with Simulation Relations (S).

Canh Minh Do, Kazuhiro Ogata

Browse the full SEKE paper archive.