Visualization of concurrent program executions

Cyrille Artho, Klaus Havelund, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Citations (Scopus)

Abstract

Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. This calls for abstraction and visualization tools. We propose an approach based on UML sequence diagrams, addressing shortcomings of such diagrams for concurrency. The resulting visualization is expressive and provides all the necessary information at a glance.

Original languageEnglish
Title of host publicationProceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007
Pages541-546
Number of pages6
DOIs
Publication statusPublished - 2007 Dec 31
Event31st Annual International Computer Software and Applications Conference, COMPSAC 2007 - Beijing, China
Duration: 2007 Jul 242007 Jul 27

Publication series

NameProceedings - International Computer Software and Applications Conference
Volume2
ISSN (Print)0730-3157

Other

Other31st Annual International Computer Software and Applications Conference, COMPSAC 2007
CountryChina
CityBeijing
Period07/7/2407/7/27

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Visualization of concurrent program executions'. Together they form a unique fingerprint.

  • Cite this

    Artho, C., Havelund, K., & Honiden, S. (2007). Visualization of concurrent program executions. In Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007 (pp. 541-546). [4291176] (Proceedings - International Computer Software and Applications Conference; Vol. 2). https://doi.org/10.1109/COMPSAC.2007.236