Towards quality of model-based testing in the ioco framework.

Michele Volpato, Jan Tretmans

Browse the full ISSTA paper archive.