A method to automate user interface testing using variable finite state machines | IEEE Conference Publication | IEEE Xplore