- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Search this article
Description
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.
Journal
-
- 31st Annual International Computer Software and Applications Conference - Vol. 2 - (COMPSAC 2007)
-
31st Annual International Computer Software and Applications Conference - Vol. 2 - (COMPSAC 2007) 541-546, 2007-07-01
IEEE
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1870020692877307904
-
- HANDLE
- 2014/41355
-
- ISSN
- 07303157
-
- Data Source
-
- OpenAIRE