Define exhaustive testing. Executing the program with all possible combinations of values for program variables. Feasible only for small, simple programs.