[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes, "Testing with Abstract State Machines". In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 257--261. |
---|---|
Summary: | An extended abstract describing testing of ASM specifications. A finite state machine is extracted from a nondeterministic ASM to be used in conjunction with known test generation techniques. |
Subjects: | Software Engineering |
Download: | From Foundations of Software Engineering at Microsoft Research in PostScript. |
Notes: | See the full paper. |