cycle detection

deterministic simulation testing

simulation testing using deterministic simulated layers, enabling exact reproduction of failures

example-based testing

writing specific inputs with expected specific outputs, contrasting with generative property-based testing

fault injection

deliberately injecting failures during a test to verify the system does not violate its invariants

fuzz testing

submitting random inputs and verifying that specified properties hold across all of them

guided search

generative testing that chooses interesting inputs using system feedback through oracles

metamorphic testing

a generative technique that transforms a test input and verifies the output's relationship to the original