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:
“An ancient bridge, and a more ancient tower,
A farmhouse that is sheltered by its wall,
An acre of stony ground,
Where the symbolic rose can break in flower,
Old ragged elms, old thorns innumerable....”
—William Butler Yeats (1865–1939)
“The application requisite to the duties of the office I hold [governor of Virginia] is so excessive, and the execution of them after all so imperfect, that I have determined to retire from it at the close of the present campaign.”
—Thomas Jefferson (1743–1826)