An automatic test case generator derived from state-based testing

This paper describes an automated approach to generating test cases for an object-oriented class. The approach is derived from state-based testing methods and refers to a state machine from which a threaded multi-way tree (duplicating the behaviour of the state machine) is produced. All possible sequential test cases can then be automatically created, when the test case generator parses the tree.