How Does GUI Testing Exercise Application Logic Functionality? | IEEE Conference Publication | IEEE Xplore