What test oracle should I use for effective GUI testing? | IEEE Conference Publication | IEEE Xplore