loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2007 31st Annual International Computer Software and Applications Conference
Visualization of Concurrent Program Executions
Beijing, China
July 24-July 27
ISBN: 0-7695-2870-8
ASCII Text
x 
 
Cyrille Artho, Klaus Havelund, Shinichi Honiden, "Visualization of Concurrent Program Executions," Computer Software and Applications Conference, Annual International, vol. 2, pp. 541-546, 2007 31st Annual International Computer Software and Applications Conference, 2007.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2007.236,
author = {Cyrille Artho and Klaus Havelund and Shinichi Honiden},
title = {Visualization of Concurrent Program Executions},
journal ={Computer Software and Applications Conference, Annual International},
volume = {2},
year = {2007},
issn = {0730-3157},
pages = {541-546},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.236},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Visualization of Concurrent Program Executions
SN - 0730-3157
SP541
EP546
A1 - Cyrille Artho,
A1 - Klaus Havelund,
A1 - Shinichi Honiden,
PY - 2007
KW - null
VL - 2
JA - Computer Software and Applications Conference, Annual International
ER -
 
Cyrille Artho, AIST, Tokyo, Japan
Klaus Havelund, Jet Propulsion Laboratory/Columbus Technologies, Pasadena, USA
Shinichi Honiden, National Institute of Informatics, Honiden Laboratory, Tokyo, Japan
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.
Citation:
Cyrille Artho, Klaus Havelund, Shinichi Honiden, "Visualization of Concurrent Program Executions," compsac, vol. 2, pp.541-546, 2007 31st Annual International Computer Software and Applications Conference, 2007
Usage of this product signifies your acceptance of the Terms of Use.