Models in Graphical User Interface Testing: Study Design | IEEE Conference Publication | IEEE Xplore