Abandoning Proprietary Test Tools for Graphical User Interface Verification | IEEE Conference Publication | IEEE Xplore