event flow graph; finite state machine; GUI test automation