Visualization of Concurrent Program Executions

Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls 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.

• Type: Conference
• Year: 2007
• Where: COMPSAC
• Authors: Cyrille Artho, Klaus Havelund, Shinichi Honiden
• Keywords: COMPSAC 2007, Program Analysis Techniques, Software Engineering, UML Sequence Diagrams, Visualization Tools