@Inproceedings{EPTCS141.1, author = {van der Meer, A.P. and Kherrazi, R. and Hamilton, M.}, year = {2014}, title = {Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques}, editor = {Schlingloff, Holger and Petrenko, Alexander K.}, booktitle = {{\rm Proceedings Ninth Workshop on} Model-Based Testing, {\rm Grenoble, France, 6 April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {141}, publisher = {Open Publishing Association}, pages = {1-13}, doi = {10.4204/EPTCS.141.1}, }