User-based testing of GUI sequences and their interactions | IEEE Conference Publication | IEEE Xplore