Visualizing Multiple Program Executions to Assist Behavior Verification | IEEE Conference Publication | IEEE Xplore