抄録
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, addressing shortcomings of such diagrams for concurrency. The result is a more expressive visualization that can provide all the necessary information at a glance.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 1-12 |
| ページ数 | 12 |
| ジャーナル | NII Technical Reports |
| 巻 | 2007 |
| 号 | 6 |
| 出版ステータス | Published - 2007 5 8 |
| 外部発表 | はい |
ASJC Scopus subject areas
- 情報システム
- コンピュータ サイエンスの応用