On model-based testing advanced GUIs | IEEE Conference Publication | IEEE Xplore