@misc{indiciae705a4794977d,
  title = {Semantic-Type-Guided Bug Finding},
  author = {Kelvin Qian and Scott Smith and Brandon Stride and Shiwei Weng and Ke Wu},
  year = {2024},
  doi = {10.1145/3689788},
  url = {https://arxiv.org/abs/2409.13896},
  note = {Source identifier: 2409.13896}
}