# Property Based Testing

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

## mode

- [classification](https://banes-lab.com/records/reason/mode-classification.md)

## surfaces

- [semantic-correctness](https://banes-lab.com/records/reason/test-surface-semantic-correctness.md)
- [state-correctness](https://banes-lab.com/records/reason/test-surface-state-correctness.md)
- [numerical-correctness](https://banes-lab.com/records/reason/test-surface-numerical-correctness.md)
- [determinism-correctness](https://banes-lab.com/records/reason/test-surface-determinism-correctness.md)

## referenced-by

- [Classification](https://banes-lab.com/records/reason/mode-classification.md)
- [Semantic Correctness](https://banes-lab.com/records/reason/test-surface-semantic-correctness.md)
- [State Correctness](https://banes-lab.com/records/reason/test-surface-state-correctness.md)
- [Numerical Correctness](https://banes-lab.com/records/reason/test-surface-numerical-correctness.md)
- [Determinism Correctness](https://banes-lab.com/records/reason/test-surface-determinism-correctness.md)