Concolic Execution Tailored for Hybrid Fuzzing

Type