and test case verification,
49
Testing and verification,
3
Binary Search Tree ADT,
503
for Divide function,
39-42
in real estate listings case study,
188
for specialized list ADT,
378
for user-defined string I/O class,
111-116
Three-Question Method,
407
and debugging recursive routines,
432
QuickSort verified with,
441
ValueInList verified with,
411
and dynamic storage allocation,
291-293
in binary search tree,
461
ResetTree, GetNextItem and,
493-496
specialized list ADT,
374,
378
input order and shape of,
476
points about recursion with,
468
preorder traversal of,
490
shape of and insertion order,
476-477
TYPE MISMATCH error message,
23