In computer science, symbolic execution (also symbolic evaluation) refers to the analysis of programs by tracking symbolic rather than actual values, a case of abstract interpretation. The field of symbolic simulation applies the same concept to hardware. Symbolic computation applies the concept to the analysis of mathematical expressions.
Symbolic execution is used to reason about all the inputs that take the same path through a program.
Read more about Symbolic Execution: Example, Limitations, History
Famous quotes containing the words symbolic and/or execution:
“The act of bellringing is symbolic of all proselytizing religions. It implies the pointless interference with the quiet of other people.”
—Ezra Pound (1885–1972)
“Those who govern, having much business on their hands, do not generally like to take the trouble of considering and carrying into execution new projects. The best public measures are therefore seldom adopted from previous wisdom, but forced by the occasion.”
—Benjamin Franklin (1706–1790)