Revision as of 11:32, 31 August 2022 edit Fwxc (talk \| contribs) 9 edits Remove JPF from tools list since it is a model checker, not a SymEx engine. ← Previous edit		Revision as of 11:33, 31 August 2022 edit undo Fwxc (talk \| contribs) 9 edits Fix typo Next edit →
Line 247: ==Earlier versions of the tools== # EXE<ref>{{cite journal \|last1=Cadar \|first1=Cristian \|last2=Ganesh \|first2=Vijay \|last3=Pawlowski \|first3=Peter M. \|last4=Dill \|first4=David L. \|last5=Engler \|first5=Dawson R. \|s2cid=10905673 \|title=EXE: Automatically Generating Inputs of Death \|journal=ACM Trans. Inf. Syst. Secur. \|date=2008 \|volume=12 \|pages=10:1–10:38 \|doi=10.1145/1455518.1455522 }}</ref> is an earlier version of KLEE . The EXE paper can be found [https://dblp.uni-trier.de/rec/bibtex/journals/tissec/CadarGPDE08 here]. ==History==

Symbolic execution: Difference between revisions