@misc{indiciae7c6144addf2e,
  title = {Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking},
  author = {Janislley Oliveira de Sousa and Bruno Carvalho de Farias and Thales Araujo da Silva and Eddie Batista de Lima Filho and Lucas C. Cordeiro},
  year = {2023},
  url = {https://arxiv.org/abs/2311.05281},
  note = {Source identifier: 2311.05281}
}