Eine Aufzeichnung des Quellcode-Anweisungen und Branch-Ergebnisse, die auftreten können, wenn ein Computerprogramm mit symbolischen, sondern als tatsächliche Werte für Eingabedaten ausgeführt wird.