Abstract: User Software Engineering ... of interactive information systems. An early step in the methodology is the creation of a formal executable description of the user interaction with the system, ...

In this paper, we propose a framework for generating test data from software specifications. The selected specification is Unified Modeling Language (UML) state machine diagram. UML state machine ...