Visualization of concurrent program executions

Cyrille Artho*, Klaus Havelund, Shinichi Honiden

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


Various program analysis techniques are very 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 result is a more expressive visualization that can provide all the necessary information at a glance.

Original languageEnglish
Pages (from-to)1-12
Number of pages12
JournalNII Technical Reports
Issue number6
Publication statusPublished - 2007 May 8
Externally publishedYes

ASJC Scopus subject areas

  • Information Systems
  • Computer Science Applications


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

Cite this