Scenario-oriented Modeling in AsmL and its Instrumentation for Testing

Mike Barnett,Wolfgang Grieskamp,Yuri Gurevich,Wolfram Schulte,Nikolai Tillmann,Margus Veanes

Scenario-oriented Modeling in AsmL and its Instrumentation for Testing

2017

Mike Barnett
Wolfgang Grieskamp
Yuri Gurevich
Wolfram Schulte
Nikolai Tillmann
Margus Veanes

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.

Keywords:

Abstract state machines
Verification and validation
Use case
Computer engineering
Instrumentation
Computer science
Programming language

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations