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

Fingerprint

Visualization

ASJC Scopus subject areas

  • Information Systems
  • Computer Science Applications

Cite this

Visualization of concurrent program executions. / Artho, Cyrille; Havelund, Klaus; Honiden, Shinichi.

In: NII Technical Reports, Vol. 2007, No. 6, 08.05.2007, p. 1-12.

Research output: Contribution to journalArticle

Artho, C, Havelund, K & Honiden, S 2007, 'Visualization of concurrent program executions', NII Technical Reports, vol. 2007, no. 6, pp. 1-12.
Artho, Cyrille ; Havelund, Klaus ; Honiden, Shinichi. / Visualization of concurrent program executions. In: NII Technical Reports. 2007 ; Vol. 2007, No. 6. pp. 1-12.
@article{d1a638e654e6455ca96df86963237a7d,
title = "Visualization of concurrent program executions",
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.",
author = "Cyrille Artho and Klaus Havelund and Shinichi Honiden",
year = "2007",
month = "5",
day = "8",
language = "English",
volume = "2007",
pages = "1--12",
journal = "NII Technical Reports",
issn = "1346-5597",
publisher = "National Institute of Informatics",
number = "6",

}

TY - JOUR

T1 - Visualization of concurrent program executions

AU - Artho, Cyrille

AU - Havelund, Klaus

AU - Honiden, Shinichi

PY - 2007/5/8

Y1 - 2007/5/8

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=34547460217&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34547460217&partnerID=8YFLogxK

M3 - Article

VL - 2007

SP - 1

EP - 12

JO - NII Technical Reports

JF - NII Technical Reports

SN - 1346-5597

IS - 6

ER -