survey-symbolic-execution
A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
File Explorer
Download Latest Version (.zip)- blackbox.odg
- blackbox.pdf
- compiler.odg
- compiler.odg.new
- compiler.pdf
- compiler.pdf.new
- concolic-execution-2.odg
- concolic-execution-2.pdf
- concolic-execution.odg
- concolic-execution.pdf
- concolic-execution_old.odg
- concolic-execution_old.pdf
- concrete-abstract.eps
- concrete-abstract.pdf
- concrete-abstract.svg
- concrete-execution.odg
- concrete-execution.pdf
- eager-evaluation.odg
- eager-evaluation.pdf
- example.odg
- example.pdf
- execution-tree-text.svg
- execution-tree-text.tex
- execution-tree.eps
- execution-tree.pdf
- execution-tree.svg
- lazy-initialization-C.odg
- lazy-initialization.odg
- lazy-initialization.pdf
- memory-fork.odg
- memory-fork.pdf
- memory-ite.odg
- memory-ite.pdf
- photo_tree.pdf
- state-merging-2.odg
- state-merging-2.pdf
- state-merging.odg
- state-merging.pdf
- state-merging_old.png
- whitebox.odg
- whitebox.pdf
- glossary.tex
- loops.tex
- sandbox.tex
- appendix.pdf
- main.pdf
- survey-with-appendix.pdf
- cover_letter.docx
- cover_letter.pdf
- proof.pdf
- survey.pdf
- ACM-CSUR-Revision.pdf
- proof.pdf
- survey.pdf
- proof.pdf
- survey-similarities.pdf
- survey-symbolic-exec-v1.pdf
- proof.pdf
- survey.pdf
- .gitignore
- ACM-Reference-Format-Journals.bst
- acmcopyright.sty
- acmsmall.cls
- apalike-refs.bst
- appendix.tex
- applications.tex
- arxiv.tex
- binary.tex
- common.tex
- conclusions.tex
- constraints.tex
- environment.tex
- executors.tex
- explosion.tex
- hang.tex
- intro.tex
- main.tex
- memory.tex
- overview.tex
- README.md
- symbolic.bib
- tables.tex
// repository documentation
Was this content helpful?
(0 ratings)