@inproceedings{barnett2004towards,
author = {Barnett, Mike and Grieskamp, Wolfgang and Nachmanson, Lev and Schulte, Wolfram and Tillmann, Nikolai and Veanes, Margus},
title = {Towards a Tool Environment for Model-Based Testing with AsmL},
series = {LNCS},
booktitle = {FATES 2003},
year = {2004},
month = {January},
abstract = {We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semi-automatic parameter generation, call sequence generation and conformance testing. We outline the usage of the environment by an example, discuss its underlying technologies, and report on some applications conducted in the Microsoft environment.},
publisher = {Springer Verlag},
url = {http://approjects.co.za/?big=en-us/research/publication/towards-a-tool-environment-for-model-based-testing-with-asml/},
pages = {252-266},
volume = {2931},
edition = {FATES 2003},
}