Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency | IEEE Journals & Magazine | IEEE Xplore