Visualization of Concurrent Program Executions

Authors:
Cyrille Artho;Klaus Havelund;Shinichi Honiden
Affiliations:
AIST, Tokyo, Japan;Jet Propulsion Laboratory/Columbus Technologies, Pasadena, USA;National Institute of Informatics, Honiden Laboratory, Tokyo, Japan
Venue:
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Year:
2007

Citing 0
Cited 3

Finding race conditions in Erlang with QuickCheck and PULSE

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Visualizing Potential Deadlocks in Multithreaded Programs

PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
Understanding complex multithreaded software systems by using trace visualization

Proceedings of the 5th international symposium on Software visualization

Quantified Score

Hi-index	0.00

Visualization

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.