En registrering av kilden uttalelser og gren utfall som oppdages når et program kjøres ved hjelp av symbolsk, i stedet for faktiske, verdier for inndataene.