O'Reilly logo
  • You Wang thinks this is interesting:

To do so, use a time-honored method of examining program behavior: study a table of the variable values after each statement (such a table is known as a trace).

From

Cover of Computer Science: An Interdisciplinary Approach

Note

state-space method