Un registre de les declaracions de la font i els resultats de la branca que s'han trobat quan un programa d'ordinador s'executa utilitzant valors simbòlics, en lloc de reals, per a les dades d'entrada.