2024-03-29T01:57:26Z
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.
国立情報学研究所
2007-05-08
eng
departmental bulletin paper
https://doi.org/10.20736/0000001236
https://repository.nii.ac.jp/records/1236
10.20736/0000001236
1346-5597
NIIテクニカル・レポート
NII Technical Report
1
12
https://repository.nii.ac.jp/record/1236/files/07-006E.pdf
application/pdf
154.4 kB
2019-03-12