Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning
Published in In the proceedings of 32th USENIX Security Symposium (USENIX Security 23), 2023
Use Google Scholar for full citation
Recommended citation: Yi Chen, Di Tang, Yepeng Yao, Mingming Zha, XiaoFeng Wang, Xiaozhong Liu, Haixu Tang, Baoxu Liu, "Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning." In the proceedings of 32th USENIX Security Symposium (USENIX Security 23), 2023.