@inproceedings{schulte2003validating,
author = {Schulte, Wolfram and Tillmann, Nikolai and Veanes, Margus and Barnett, Mike},
title = {Validating Use-Cases with the AsmL Test Tool},
booktitle = {QSIC},
year = {2003},
month = {January},
abstract = {The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environment, is  used to generate finite state machines from use-case models which can be used for validation purposes or for testing.},
publisher = {IEEE Computer Society},
url = {http://approjects.co.za/?big=en-us/research/publication/validating-use-cases-with-the-asml-test-tool/},
pages = {238-246},
isbn = {0-7695-2015-4},
edition = {QSIC},
}