Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning

Download PDF
Open Webpage

Yi Chen, Di Tang, Yepeng Yao, Mingming Zha, XiaoFeng Wang, Xiaozhong Liu, Haixu Tang, Baoxu Liu

Published: 01 Jan 2023, Last Modified: 11 Apr 2025USENIX Security Symposium 2023EveryoneRevisionsBibTeXCC BY-SA 4.0