@misc{indiciae0f2225ab4092,
  title = {SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis},
  author = {Wookhyun Han and Md Lutfor Rahman and Yuxuan Chen and Chengyu Song and Byoungyoung Lee and Insik Shin},
  year = {2019},
  url = {https://arxiv.org/abs/1905.09532},
  note = {Source identifier: 1905.09532}
}