CellScope: Automatically Specifying and Verifying Cellular Network Protocols.

Yinbo Yu, You Li, Kaiyu Hou, Yan Chen, Hai Zhou, Jianfeng Yang

Browse the full SIGCOMM paper archive.