# Contract Testing

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

## mode

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

## surfaces

- [interface-correctness](https://banes-lab.com/records/reason/test-surface-interface-correctness.md)
- [interaction-correctness](https://banes-lab.com/records/reason/test-surface-interaction-correctness.md)
- [protocol-correctness](https://banes-lab.com/records/reason/test-surface-protocol-correctness.md)

## referenced-by

- [Comparison](https://banes-lab.com/records/reason/mode-comparison.md)
- [Interface Correctness](https://banes-lab.com/records/reason/test-surface-interface-correctness.md)
- [Interaction Correctness](https://banes-lab.com/records/reason/test-surface-interaction-correctness.md)
- [Protocol Correctness](https://banes-lab.com/records/reason/test-surface-protocol-correctness.md)