Debugging by Thinking: A Multidisciplinary Approach (HP Technologies)

completeness, 209–10

correctness, 208–9

differences, 213

efficiency, 211

Polya, 177–78

robustness, 210

state, 212

Queue variable, 266