TY  - RPRT
TI  - SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis
AU  - Wookhyun Han
AU  - Md Lutfor Rahman
AU  - Yuxuan Chen
AU  - Chengyu Song
AU  - Byoungyoung Lee
AU  - Insik Shin
PY  - 2019
UR  - https://arxiv.org/abs/1905.09532
ID  - 1905.09532
ER  -