抄録
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 |
| 外部発表 | Yes |
Fingerprint
ASJC Scopus subject areas
- Information Systems
- Computer Science Applications
これを引用
Visualization of concurrent program executions. / Artho, Cyrille; Havelund, Klaus; Honiden, Shinichi.
：: NII Technical Reports, 巻 2007, 番号 6, 08.05.2007, p. 1-12.研究成果: Article
}
TY - JOUR
T1 - Visualization of concurrent program executions
AU - Artho, Cyrille
AU - Havelund, Klaus
AU - Honiden, Shinichi
PY - 2007/5/8
Y1 - 2007/5/8
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=34547460217&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=34547460217&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:34547460217
VL - 2007
SP - 1
EP - 12
JO - NII Technical Reports
JF - NII Technical Reports
SN - 1346-5597
IS - 6
ER -