Visualization of concurrent program executions

Cyrille Artho, Klaus Havelund, Shinichi Honiden

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

18 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
Volume2
DOIs
Publication statusPublished - 2007 Dec 31
Externally publishedYes
Event31st Annual International Computer Software and Applications Conference, COMPSAC 2007 - Beijing, China
Duration: 2007 Jul 242007 Jul 27

Other

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

Fingerprint

Visualization

ASJC Scopus subject areas

  • Software

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 (Vol. 2, pp. 541-546). [4291176] https://doi.org/10.1109/COMPSAC.2007.236

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

Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007. Vol. 2 2007. p. 541-546 4291176.

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

Artho, C, Havelund, K & Honiden, S 2007, Visualization of concurrent program executions. in Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007. vol. 2, 4291176, pp. 541-546, 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, 07/7/24. https://doi.org/10.1109/COMPSAC.2007.236
Artho C, Havelund K, Honiden S. Visualization of concurrent program executions. In Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007. Vol. 2. 2007. p. 541-546. 4291176 https://doi.org/10.1109/COMPSAC.2007.236
Artho, Cyrille ; Havelund, Klaus ; Honiden, Shinichi. / Visualization of concurrent program executions. Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007. Vol. 2 2007. pp. 541-546
@inproceedings{e97e0ff555e3489384848d607fe5b25b,
title = "Visualization of concurrent program executions",
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.",
author = "Cyrille Artho and Klaus Havelund and Shinichi Honiden",
year = "2007",
month = "12",
day = "31",
doi = "10.1109/COMPSAC.2007.236",
language = "English",
isbn = "9780769528700",
volume = "2",
pages = "541--546",
booktitle = "Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007",

}

TY - GEN

T1 - Visualization of concurrent program executions

AU - Artho, Cyrille

AU - Havelund, Klaus

AU - Honiden, Shinichi

PY - 2007/12/31

Y1 - 2007/12/31

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

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

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

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

U2 - 10.1109/COMPSAC.2007.236

DO - 10.1109/COMPSAC.2007.236

M3 - Conference contribution

SN - 9780769528700

VL - 2

SP - 541

EP - 546

BT - Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007

ER -