Notes related to Concolic execution
angr verifier, CUTE verifier, DART verifier, Driller verifier, Hybrid testing, QSYM verifier, SAGE verifier, SymCC
Papers related to Concolic execution
- SAVIOR: Towards bug-driven hybrid testing [chen:sp:2020]
- Spectector: Principled detection of speculative information flows [guarnieri:sandp:2020]
- Hybrid concolic testing [majumdar:icse:2007]
- Symbolic execution with SymCC: Don't interpret, compile! [poeplau:usenix:2020]
- QSYM: A practical concolic execution engine tailored for hybrid fuzzing [yun:usenix:2018]