PUBLICATIONS

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing