@misc{indiciaef8c18da912dd,
  title = {FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning},
  author = {Kaled M. Alshmrany and Mohannad Aldughaim and Chenfeng Wei and Tom Sweet and Richard Allmendinger and Lucas C. Cordeiro},
  year = {2024},
  url = {https://arxiv.org/abs/2404.06031},
  note = {Source identifier: 2404.06031}
}