Read After Write Verification
Kind: technique
Record: reasoning:technique-read-after-write-verification
Canonical: Reasoning
Reads back what was written and compares it with what was meant to be written
Listed in Reasoning records, after Mutation Testing and before Semantic Correctness.