Visualizing multiple program executions to assist behavior verification

doi:10.1109/SSIRI.2009.26

科研成果详情

发表状态	已发表Published
题名	Visualizing multiple program executions to assist behavior verification
作者	Zhao C., Kang Z., Hao J., Wong W.E.
发表日期	2009
发表期刊	SSIRI 2009 - 3rd IEEE International Conference on Secure Software Integration Reliability Improvement
ISSN/eISSN	0
卷号	0 期号:0 页码:113-122
摘要	Visualization techniques have been widely used in representing software artifacts. They play a central role in conveying program information to software developers. While numerous tools have been developed to visualize information such as static software architectures, dynamic program behaviors, and debugging processes, little attention has been paid to visualizing correlations and variations among program representations. This paper investigates the visualization of cross-references across multiple program executions based upon different testing inputs so that meaningful and viewable properties can be presented to the viewpoint from different perspectives. Visualizing such a comparison can help feature location and program behavior verification. It also helps programmers better understand and test their software which can have a significant impact on improving its reliability. © 2009 IEEE.
关键词	Correlation visualization Dynamic behavior comparison Software visualization
DOI	10.1109/SSIRI.2009.26
URL	查看来源
语种	英语English
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	https://repository.uic.edu.cn/handle/39GCC9TT/3081
专题	个人在本单位外知识产出
推荐引用方式 GB/T 7714	Zhao C., Kang Z., Hao J., Wong W.E. Visualizing multiple program executions to assist behavior verification[J]. SSIRI 2009 - 3rd IEEE International Conference on Secure Software Integration Reliability Improvement, 2009, 0(0): 113-122.
APA	Zhao C., Kang Z., Hao J., Wong W.E. (2009). Visualizing multiple program executions to assist behavior verification. SSIRI 2009 - 3rd IEEE International Conference on Secure Software Integration Reliability Improvement, 0(0), 113-122.
MLA	Zhao C., Kang Z., Hao J., Wong W.E.."Visualizing multiple program executions to assist behavior verification". SSIRI 2009 - 3rd IEEE International Conference on Secure Software Integration Reliability Improvement 0.0(2009): 113-122.