2001 TestableUseCasesintheAbstractSt

• (Grieskamp et al., 2001) ⇒ Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, and Nikolai Tillmann. (2001). “Testable Use Cases in the Abstract State Machine Language.” In: Proceedings of the Second Asia-Pacific Conference on Quality Software. ISBN:0-7695-1287-9

Subject Headings: Abstract State Machine Language (AsmL), System Interaction Use Case.

Cited By

• http://scholar.google.com/scholar?q=%222001%22+Testable+Use+Cases+in+the+Abstract+State+Machine+Language
• http://dl.acm.org/citation.cfm?id=872019.872344&preflayout=flat#citedby

Quotes

Abstract

Use cases are a method for describing interactions between humans and/or systems. However, despite their popularity, there is no agreed formal syntax and semantics of use cases. The Abstract State Machine Language (ASML) is an executable specification language developed at Microsoft Research. In this paper we define an encoding of use cases in ASML and demonstrate the advantages by describing techniques to generate test cases and test oracles from the encoding.

References

;

	Author	volume	Date Value	title	type	journal	titleUrl	doi	note	year
2001 TestableUseCasesintheAbstractSt	Wolfgang Grieskamp Markus Lepper Wolfram Schulte Nikolai Tillmann			Testable Use Cases in the Abstract State Machine Language						2001