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.
Comparing traces.
Completion information.
Event-normalized view.
Back to the Tracer's website.

Last updated: June 2009.