Symbolic Execution - History

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:

    False history gets made all day, any day,
    the truth of the new is never on the news
    False history gets written every day
    ...
    the lesbian archaeologist watches herself
    sifting her own life out from the shards she’s piecing,
    asking the clay all questions but her own.
    Adrienne Rich (b. 1929)

    The basic idea which runs right through modern history and modern liberalism is that the public has got to be marginalized. The general public are viewed as no more than ignorant and meddlesome outsiders, a bewildered herd.
    Noam Chomsky (b. 1928)

    Culture, the acquainting ourselves with the best that has been known and said in the world, and thus with the history of the human spirit.
    Matthew Arnold (1822–1888)