Login / Signup
SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis.
Wookhyun Han
Md. Lutfor Rahman
Yuxuan Chen
Chengyu Song
Byoungyoung Lee
Insik Shin
Published in:
CoRR (2019)
Keyphrases
</>
data mining
wide range
lightweight
real time
computer vision
bayesian networks
multi agent systems
data flow