State Tracing