Validation of Distributed SDN Control Plane Under Uncertain Failures. - Junjie Xie; Deke Guo; Chen Qian 008; Lei Liu 003; Bangbang Ren; Honghui Chen (IEEE/ACM Trans. Netw., 2019)