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. | ||