Focusing on Execution Traces Using Diver | IEEE Conference Publication | IEEE Xplore