@misc{indiciae76f76c631f9c,
  title = {FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing},
  author = {Kaled M. Alshmrany and Mohannad Aldughaim and Ahmed Bhayat and Lucas C. Cordeiro},
  year = {2021},
  url = {https://arxiv.org/abs/2112.10627},
  note = {Source identifier: 2112.10627}
}