History
The concept of symbolic execution was introduced academically with descriptions of: the Select system, the EFFIGY system, the DISSECT system, and Clarke's system . See a bibliography of more technical papers published on symbolic execution.
Read more about this topic: Symbolic Execution
Famous quotes containing the word history:
“If usually the “present age” is no very long time, still, at our pleasure, or in the service of some such unity of meaning as the history of civilization, or the study of geology, may suggest, we may conceive the present as extending over many centuries, or over a hundred thousand years.”
—Josiah Royce (1855–1916)
“Every member of the family of the future will be a producer of some kind and in some degree. The only one who will have the right of exemption will be the mother ...”
—Ruth C. D. Havens, U.S. suffragist. As quoted in History of Woman Suffrage, vol. 4, ch. 13, by Susan B. Anthony and Ida Husted Harper (1902)
“A man will not need to study history to find out what is best for his own culture.”
—Henry David Thoreau (1817–1862)