Visualizing Logical Correlation in Trace Data for System Debugging | IEEE Journals & Magazine | IEEE Xplore