2024-03-28T21:10:00Z
https://repository.nii.ac.jp/oai
oai:repository.nii.ac.jp:00001236
2023-01-05T02:14:58Z
136
NII Technical Report (NII-2007-006E):Visualization of Concurrent Program Executions
Artho, Cyrille
Havelund, Klaus
本位田, 真一
Honiden, Shinichi
テクニカルレポート
Technical Report
Various program analysis techniques are very 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, which addresses shortcomings of such diagrams for concurrency. The result is a more expressive visualization that can provide all the necessary information at a glance.
departmental bulletin paper
国立情報学研究所
2007-05-08
application/pdf
NIIテクニカル・レポート
1
12
NII Technical Report
1346-5597
https://repository.nii.ac.jp/record/1236/files/07-006E.pdf
eng