Using tabular notation to support model based testing: A practical experience using STTSpec and Spec Explorer.

Rachid Kherrazi

Browse the full ICST paper archive.