TY - GEN
T1 - Visualization of concurrent program executions
AU - Artho, Cyrille
AU - Havelund, Klaus
AU - Honiden, Shinichi
PY - 2007
Y1 - 2007
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
AN - SCOPUS:37349116566
SN - 9780769528700
T3 - Proceedings - International Computer Software and Applications Conference
SP - 541
EP - 546
BT - Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007
T2 - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007
Y2 - 24 July 2007 through 27 July 2007
ER -