misdirected write

misdirected read

a storage device returns data from the wrong location rather than the address requested

concurrent testing

tests that execute multiple logical operations simultaneously across system nodes to expose race conditions

constraint programming

encodes an operation history as a constraint problem for a SAT solver to find a legal interpretation

cycle detection

searches for dependency cycles in an operation history to demonstrate consistency violations

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