An early step in the methodology is the creation of a formal executable description of the user interaction with the system, based on augmented state transition diagrams. This paper shows the ...

Test data can be generated from many sources; for example, experience of testers ... The selected specification is Unified Modeling Language (UML) state machine diagram. UML state machine diagram ...