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)
“If Germany is to become a colonising power, all I say is, “God speed her!” She becomes our ally and partner in the execution of the great purposes of Providence for the advantage of mankind.”
—W.E. (William Ewart)