Scenario-oriented Modeling in AsmL and its Instrumentation for Testing
- Mike Barnett ,
- Wolfgang Grieskamp ,
- Yuri Gurevich ,
- Wolfram Schulte ,
- Nikolai Tillmann ,
- Margus Veanes
Proc. of 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools held at ICSE 2003, International Conference on Software Engineering 2003 |
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.