# Differential Testing

> Compares observed results with a reference implementation, the oracle

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

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Property Based Testing](https://banes-lab.com/records/reasoning/technique-property-based-testing.md) and before [Contract Testing](https://banes-lab.com/records/reasoning/technique-contract-testing.md).

## Mode

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

## Surfaces

- [semantic-correctness](https://banes-lab.com/records/reasoning/test-surface-semantic-correctness.md)
- [consistency-correctness](https://banes-lab.com/records/reasoning/test-surface-consistency-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)