IEEE - Institute of Electrical and Electronics Engineers, Inc. - Class Testing from State Diagrams Using Stream X-Machine Based Methods

2007 18th Australian Software Engineering Conference

Author(s): F. Ipate
Sponsor(s): Data Processors Infosys Australia
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 April 2007
Conference Location: Melbourne, Vic., Australia
Conference Date: 10 April 2007
Page(s): 245 - 254
ISBN (Paper): 0-7695-2778-7
ISSN (Paper): 1530-0803
DOI: 10.1109/ASWEC.2007.14
Regular:

The stream X-machine (SXM) is a form of extended finite state machine that describes a system as a finite set of states, an internal memory and a number of transitions between the states. One of... View More

Advertisement