TY  - RPRT
TI  - Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond
AU  - Jingda Yang
AU  - Sudhanshu Arya
AU  - Ying Wang
PY  - 2023
UR  - https://arxiv.org/abs/2307.11247
ID  - 2307.11247
ER  -