Support for Understanding GUI Programs by Visualizing Execution Traces Synchronized with Screen Transitions | IEEE Conference Publication | IEEE Xplore