GUI Testing Using Random Event-Based Test Cases | IEEE Conference Publication | IEEE Xplore