@misc{indiciaea9241480ce0c,
  title = {Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs},
  author = {Fatimah K. Aljaafari and Rafael Menezes and Edoardo Manino and Fedor Shmarov and Mustafa A. Mustafa and Lucas C. Cordeiro},
  year = {2022},
  url = {https://arxiv.org/abs/2206.06043},
  note = {Source identifier: 2206.06043}
}