Shangsen Li, Lailong Luo, Changhao Qiu, Bangbang Ren, Deke Guo. A Forwarding-Path-Aware Sampling Strategy for Config2Spec. In Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation, FMANO 2025, Coimbra, Portugal, September 8-11, 2025. pages 1-6, ACM, 2025. [doi]
Abstract is missing.