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: 2023, Last Modified: 16 Jan 2026USENIX Security Symposium 2023EveryoneRevisionsBibTeXCC BY-SA 4.0