Systematic reduction of GUI test sequences | IEEE Conference Publication | IEEE Xplore