Xieyang Xu
- Test Coverage for Network Configurations
2022/09/26 by Xieyang Xu, Xu, Xieyang, Weixin Deng +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Network Traffic and Congestion Control #Networking and Internet Architecture (cs.NI) #Software System Performance and Reliability #Software-Defined Networks and 5G
- Relational Network Verification
2024/03/25 by Xieyang Xu, Xu, Xieyang, Yifei Yuan +11 · 1 citation
Computer Science · #FOS: Computer and information sciences #Information and Cyber Security #Network Security and Intrusion Detection #Networking and Internet Architecture (cs.NI) #Software-Defined Networks and 5G