Chunying Zhao, Kang Zhang, Jie Hao, W. Eric Wong. Visualizing Multiple Program Executions to Assist Behavior Verification. In Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2010. pages 113-122, IEEE Computer Society, 2009. [doi]
Abstract is missing.