@misc{indiciae9dd08d61613b,
  title = {FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis},
  author = {Kaled M. Alshmrany and Mohannad Aldughaim and Ahmed Bhayat and Lucas C. Cordeiro},
  year = {2024},
  url = {https://arxiv.org/abs/2206.14068},
  note = {Source identifier: 2206.14068}
}