@misc{indiciae4312b81d9a6d,
  title = {Formal and Fuzzing Amplification: Targeting Vulnerability Detection in 5G and Beyond},
  author = {Jingda Yang and Ying Wang},
  year = {2023},
  url = {https://arxiv.org/abs/2307.05758},
  note = {Source identifier: 2307.05758}
}