symbolic debugging

symbolic debugging

[sim′bäl·ik dē′bəg·iŋ] (computer science) A method of correcting known errors in a computer program written in a source language, in which certain statements are compiled together with the program.