Effective Exploration and Visualization of Large Execution Traces | IEEE Conference Publication | IEEE Xplore