Yahui Li,Xia Yin,Zhiliang Wang,Jiangyuan Yao,Xingang Shi,Jianping Wu,Han Zhang,Qing Wang.A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges.[J].IEEE Communications Surveys and Tutorials,2019.
Albert Mestres,Alberto Rodriguez-Natal,Josep Carner,Pere Barlet-Ros,Eduard Alarcón,Marc Solé,Victor Muntés-Mulero,David Meyer,Sharon Barkai,Mike J. Hibbett,Giovani Estrada,Khaldun Ma'ruf,Florin Coras,Vina Ermagan,Hugo Latapie,Chris Cassar,John Evans,Fabio Maino,Jean Walrand,Albert Cabellos.Knowledge-Defined Networking[J].ACM SIGCOMM Computer Communication Review,2017.