SymCC [Google Scholar] Notes: symbolic execution, concolic execution Papers: poeplau:usenix:2020 Notes related to SymCC Hybrid testing Papers related to SymCC Symbolic execution with SymCC: Don't interpret, compile! [poeplau:usenix:2020]