@misc{indiciae8d7e2e583e0f,
  title = {FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs},
  author = {Kaled M. Alshmrany and Rafael S. Menezes and Mikhail R. Gadelha and Lucas C. Cordeiro},
  year = {2020},
  url = {https://arxiv.org/abs/2012.11223},
  note = {Source identifier: 2012.11223}
}