Deterministic Replay

Kind: technique

Record: reasoning:technique-deterministic-replay

Canonical: Reasoning

Reproduces a run to isolate a non-deterministic cause

Listed in Reasoning records, after Model Checking and before Monitoring.

Mode

• reflection

Surfaces

• concurrency-correctness
• determinism-correctness

Linked from

• The modes
• The test surfaces