QSYM verifier

[Google Scholar]

Notes: concolic execution
Papers: yun:usenix:2018

Concolic execution, Hybrid testing

SAVIOR: Towards bug-driven hybrid testing [chen:sp:2020]
Symbolic execution with SymCC: Don't interpret, compile! [poeplau:usenix:2020]

The opinions expressed are my own views and not my employer’s.