@misc{indiciae864bc1738c84,
  title = {Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond},
  author = {Jingda Yang and Sudhanshu Arya and Ying Wang},
  year = {2023},
  url = {https://arxiv.org/abs/2307.11247},
  note = {Source identifier: 2307.11247}
}