Validating Use-Cases with the AsmL Test Tool

Dallas, Texas November 06-November 07

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/QSIC.2003.1319107

Third International Conference On Qua ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Mike Barnett Articles by Wolfgang Grieskamp Articles by Wolfram Schulte Articles by Nikolai Tillmann Articles by Margus Veanes

	ASCII Text	x
	Mike Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes, "Validating Use-Cases with the AsmL Test Tool," Quality Software, International Conference on, pp. 238, Third International Conference On Quality Software, 2003.

	BibTex	x
	@article{ 10.1109/QSIC.2003.1319107, author = {Mike Barnett and Wolfgang Grieskamp and Wolfram Schulte and Nikolai Tillmann and Margus Veanes}, title = {Validating Use-Cases with the AsmL Test Tool}, journal ={Quality Software, International Conference on}, volume = {0}, year = {2003}, isbn = {0-7695-2015-4}, pages = {238}, doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2003.1319107}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Quality Software, International Conference on TI - Validating Use-Cases with the AsmL Test Tool SN - 0-7695-2015-4 SP EP A1 - Mike Barnett, A1 - Wolfgang Grieskamp, A1 - Wolfram Schulte, A1 - Nikolai Tillmann, A1 - Margus Veanes, PY - 2003 KW - null VL - 0 JA - Quality Software, International Conference on ER -

Mike Barnett, Microsoft Research, Redmond, WA

Wolfgang Grieskamp, Microsoft Research, Redmond, WA

Wolfram Schulte, Microsoft Research, Redmond, WA

Nikolai Tillmann, Microsoft Research, Redmond, WA

Margus Veanes, Microsoft Research, Redmond, WA

The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environment, is used to generate finite state machines from use-case models which can be used for validation purposes or for testing.

Citation:

Mike Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes, "Validating Use-Cases with the AsmL Test Tool," qsic, pp.238, Third International Conference On Quality Software, 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.