01 A correct value can hide a wrong state
“verifying the quality, structure, and intention of code” (opens the source)
Check what the code changes, as well as what it returns.
Trace the code, find a counterexample and choose a test that exposes it.
Trace the cache“verifying the quality, structure, and intention of code” (opens the source)
Check what the code changes, as well as what it returns.
“often not following essential invariants of the codebase” (opens the source)
A counterexample ties the defect to a stated contract.
“Form a hypothesis before changing things.” (opens the source)
Predict the state before changing the callback.
“programs that function as described in the task sheet” (opens the source)
Define completion and EOF before choosing the parser repair.
“consider various trade-offs and edge cases” (opens the source)
Check conservation, zero input and the stated tie rule.
Finite tests need an honest coverage limit.
Last reviewed Nov 10, 2026