A manual testing [error detection] method where program [source code] logic [structure] is traced manually [mentally] by a group with a small set of test cases, whereas the state of program variables is manually monitored, to determine the programmer's logic and assumptions. Contrast with code audit, code inspection, code review.