Visualization of concurrent program executions

Cyrille Artho, Klaus Havelund, Shinichi Honiden

研究成果: Conference contribution

23 被引用数 (Scopus)

抄録

Various program analysis techniques are 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 resulting visualization is expressive and provides all the necessary information at a glance.

本文言語English
ホスト出版物のタイトルProceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007
ページ541-546
ページ数6
DOI
出版ステータスPublished - 2007 12 31
外部発表はい
イベント31st Annual International Computer Software and Applications Conference, COMPSAC 2007 - Beijing, China
継続期間: 2007 7 242007 7 27

出版物シリーズ

名前Proceedings - International Computer Software and Applications Conference
2
ISSN(印刷版)0730-3157

Other

Other31st Annual International Computer Software and Applications Conference, COMPSAC 2007
CountryChina
CityBeijing
Period07/7/2407/7/27

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

フィンガープリント 「Visualization of concurrent program executions」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル