Rule-Based Exploratory Testing of Graphical User Interfaces | IEEE Conference Publication | IEEE Xplore