# Deterministic Replay

> Reproduces a run to isolate a non-deterministic cause

Record: `reasoning:technique-deterministic-replay`
Kind: technique
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-technique-deterministic-replay

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Model Checking](https://banes-lab.com/records/reasoning/technique-model-checking.md) and before [Monitoring](https://banes-lab.com/records/reasoning/technique-monitoring.md).

## Mode

- [reflection](https://banes-lab.com/records/reasoning/mode-reflection.md)

## Surfaces

- [concurrency-correctness](https://banes-lab.com/records/reasoning/test-surface-concurrency-correctness.md)
- [determinism-correctness](https://banes-lab.com/records/reasoning/test-surface-determinism-correctness.md)

## Linked from

- [The modes](https://banes-lab.com/ontology/reasoning/the-modes.md)
- [The test surfaces](https://banes-lab.com/ontology/reasoning/the-test-surfaces.md)