Visualization of concurrent program executions

Cyrille Artho, Klaus Havelund, Shinichi Honiden

Research output: Contribution to journalArticle

Abstract

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
Volume2007
Issue number6
Publication statusPublished - 2007 May 8
Externally publishedYes

ASJC Scopus subject areas

  • Information Systems
  • Computer Science Applications

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

  • Cite this