Reasoning
The techniques
Each technique a surface is observed by works in one reasoning mode and is listed with the surfaces that use it.
static-analysis
- Mode: observation
unit-testing
- Mode: comparison
integration-testing
- Mode: comparison
end-to-end-testing
- Mode: comparison
property-based-testing
- Mode: classification
differential-testing
- Mode: comparison
contract-testing
- Mode: comparison
runtime-validation
- Mode: observation
assertion-checking
- Mode: comparison
fuzz-testing
- Mode: creation
load-testing
- Mode: prediction
stress-testing
- Mode: prediction
profiling
- Mode: observation
heap-analysis
- Mode: observation
tracing
- Mode: description
fault-injection
- Mode: intervention
chaos-testing
- Mode: intervention
model-checking
- Mode: explanation
deterministic-replay
- Mode: reflection
monitoring
- Mode: observation
mutation-testing
- Mode: intervention
read-after-write-verification
- Mode: comparison