Visualization of Concurrent Program Executions

@article{Artho2007VisualizationOC,
  title={Visualization of Concurrent Program Executions},
  author={Cyrille Artho and Klaus Havelund and Shinichi Honiden},
  journal={31st Annual International Computer Software and Applications Conference (COMPSAC 2007)},
  year={2007},
  volume={2},
  pages={541-546}
}
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. 

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 23 CITATIONS

Finding race conditions in Erlang with QuickCheck and PULSE

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Runtime Verification - 17 Years Later

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Effective fault localization techniques for concurrent software

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Critical Section Investigator: Building Story Visualizations with Program Traces

  • 2016 IEEE Working Conference on Software Visualization (VISSOFT)
  • 2016
VIEW 1 EXCERPT
CITES METHODS

Show Me New Counterexamples: A Path-Based Approach

  • 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)
  • 2015
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 24 REFERENCES

Visualization of concurrent program traces

c. Artho, K. Havelund, S. Honiden
  • Technical Report NII-2007-OO6E, National Institute of Info~atics,
  • 2007
VIEW 1 EXCERPT

tilles. TraceVIs: an execution trace visualization tool

C. J. Roberts
  • In Prot. MoBS
  • 2005
VIEW 1 EXCERPT