On Modeling of GUI Test Profile | IEEE Conference Publication | IEEE Xplore