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:
“Those who weep for the happy periods which they encounter in history acknowledge what they want; not the alleviation but the silencing of misery.”
—Albert Camus (1913–1960)
“The one duty we owe to history is to rewrite it.”
—Oscar Wilde (1854–1900)
“The thing that struck me forcefully was the feeling of great age about the place. Standing on that old parade ground, which is now a cricket field, I could feel the dead generations crowding me. Here was the oldest settlement of freedmen in the Western world, no doubt. Men who had thrown off the bands of slavery by their own courage and ingenuity. The courage and daring of the Maroons strike like a purple beam across the history of Jamaica.”
—Zora Neale Hurston (1891–1960)