A record of the source statements and branch outcomes that are encountered when a computer program is executed using symbolic, rather than actual, values for input data.