# Reasoning records whose kind is technique

> 22 records

This index as JSON: https://banes-lab.com/json/api/facets/reasoning/kind/technique

## Entries

- [Static Analysis](https://banes-lab.com/records/reasoning/technique-static-analysis.md): Reads structure and types for defects before execution
- [Unit Testing](https://banes-lab.com/records/reasoning/technique-unit-testing.md): Compares observed with expected results on an isolated unit
- [Integration Testing](https://banes-lab.com/records/reasoning/technique-integration-testing.md): Compares observed with expected results across cooperating parts
- [End To End Testing](https://banes-lab.com/records/reasoning/technique-end-to-end-testing.md): Compares observed with expected results on the whole system
- [Property Based Testing](https://banes-lab.com/records/reasoning/technique-property-based-testing.md): Asserts that an invariant holds across a generated input space
- [Differential Testing](https://banes-lab.com/records/reasoning/technique-differential-testing.md): Compares observed results with a reference implementation, the oracle
- [Contract Testing](https://banes-lab.com/records/reasoning/technique-contract-testing.md): Compares an observed interface with an agreed contract
- [Runtime Validation](https://banes-lab.com/records/reasoning/technique-runtime-validation.md): Checks boundary data against its declared shape at runtime
- [Assertion Checking](https://banes-lab.com/records/reasoning/technique-assertion-checking.md): Checks a runtime condition against an assumed invariant
- [Fuzz Testing](https://banes-lab.com/records/reasoning/technique-fuzz-testing.md): Generates adversarial inputs to provoke unhandled failures
- [Load Testing](https://banes-lab.com/records/reasoning/technique-load-testing.md): Projects behavior under expected demand
- [Stress Testing](https://banes-lab.com/records/reasoning/technique-stress-testing.md): Projects behavior past its limits to expose timing and ordering defects
- [Profiling](https://banes-lab.com/records/reasoning/technique-profiling.md): Measures the distribution of execution cost
- [Heap Analysis](https://banes-lab.com/records/reasoning/technique-heap-analysis.md): Measures allocation and retention over time
- [Tracing](https://banes-lab.com/records/reasoning/technique-tracing.md): Describes the runtime flow across components
- [Fault Injection](https://banes-lab.com/records/reasoning/technique-fault-injection.md): Induces a failure and observes the response
- [Chaos Testing](https://banes-lab.com/records/reasoning/technique-chaos-testing.md): Induces random failures and observes how the system recovers
- [Model Checking](https://banes-lab.com/records/reasoning/technique-model-checking.md): Proves that a property holds across the reachable state space
- [Deterministic Replay](https://banes-lab.com/records/reasoning/technique-deterministic-replay.md): Reproduces a run to isolate a non-deterministic cause
- [Monitoring](https://banes-lab.com/records/reasoning/technique-monitoring.md): Observes live behavior for deviations from normal
- [Mutation Testing](https://banes-lab.com/records/reasoning/technique-mutation-testing.md): Introduces a deliberate defect and checks that the tests or the rule report it
- [Read After Write Verification](https://banes-lab.com/records/reasoning/technique-read-after-write-verification.md): Reads back what was written and compares it with what was meant to be written