Automatic testing of graphical user interfaces | IEEE Conference Publication | IEEE Xplore