Visualization of concurrent program executions

Artho, Cyrille; Havelund, Klaus; Honiden, Shinichi

dc.contributor.author	Artho, Cyrille
dc.contributor.author	Havelund, Klaus
dc.contributor.author	Honiden, Shinichi
dc.date.accessioned	2009-07-16T17:44:01Z
dc.date.available	2009-07-16T17:44:01Z
dc.date.issued	2007-07-23
dc.identifier.citation	Software Architectures and Component Technologies Workshop (SACT'07), IEEE Computer Software & Applications Conference, Beijing, China, July 23-27, 2007	en_US
dc.identifier.clearanceno	07-2156
dc.identifier.uri	http://hdl.handle.net/2014/41355
dc.description.abstract	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.	en_US
dc.description.sponsorship	NASA/JPL	en_US
dc.language.iso	en_US	en_US
dc.publisher	Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2007.	en_US
dc.subject	visualization	en_US
dc.subject	concurrent programs	en_US
dc.subject	UML sequence diagrams	en_US
dc.subject	dynamic analysis	en_US
dc.title	Visualization of concurrent program executions	en_US
dc.type	Preprint	en_US