GUIdiff -- A Regression Testing Tool for Graphical User Interfaces | IEEE Conference Publication | IEEE Xplore