Visualizing multiple program executions to assist behavior verification

Chunying Zhao*, Zhang Kang, Jie Hao, W. Eric Wong

*Corresponding author for this work

Research output: Chapter in Book/Conference Proceeding/ReportConference Paper published in a bookpeer-review

3 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationSSIRI 2009 - 3rd IEEE International Conference on Secure Software Integration Reliability Improvement
Pages113-122
Number of pages10
DOIs
Publication statusPublished - 2009
Externally publishedYes
Event3rd IEEE International Conference on Secure Software Integration Reliability Improvement, SSIRI 2009 - Shanghai, China
Duration: 8 Jul 200910 Jul 2009

Publication series

NameSSIRI 2009 - 3rd IEEE International Conference on Secure Software Integration Reliability Improvement

Conference

Conference3rd IEEE International Conference on Secure Software Integration Reliability Improvement, SSIRI 2009
Country/TerritoryChina
CityShanghai
Period8/07/0910/07/09

Keywords

  • Correlation visualization
  • Dynamic behavior comparison
  • Software visualization

Fingerprint

Dive into the research topics of 'Visualizing multiple program executions to assist behavior verification'. Together they form a unique fingerprint.

Cite this