@inproceedings{barnett2003scenario-oriented,
author = {Barnett, Mike and Grieskamp, Wolfgang and Gurevich, Yuri and Schulte, Wolfram and Tillmann, Nikolai and Veanes, Margus},
title = {Scenario-oriented Modeling in AsmL and its Instrumentation for Testing},
booktitle = {Proc. of 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools held at ICSE 2003, International Conference on Software Engineering 2003},
year = {2003},
month = {January},
abstract = {We present an approach for modeling use cases and scenarios in the Abstract State Machine Language and discuss how to use such models for validation and verification purposes.},
url = {http://approjects.co.za/?big=en-us/research/publication/163-scenario-oriented-modeling-asml-instrumentation-testing/},
pages = {8-14},
edition = {Proc. of 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools held at ICSE 2003, International Conference on Software Engineering 2003},
}