debugging technique that compares the results of subcomputations with what was intended; it constructs an internal representation of all subcomputations performed while running a buggy program and asks the programmer whether they are correct