The Tracer and the related material below are property of the Weizmann Institute of Science, Rehovot, Israel.
The Tracer Model-based trace visualization and exploration for reactive systems |
Case study application: Monitoring a PacMan game |
The scenario-based execution traces for the examples below were generated for
the Tracer using the
S2A compiler.
The program traced for the examples below is adopted from a publicly available Java implementation
of the classic PacMan game.
Selected screenshots appear below. Click on the pictures to enlarge.
Main view and overview. | ||
Filters. | ||
Multiplicity. | ||
Comparing traces. | ||
Completion information. | ||
Event-normalized view. | ||