Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, YaHui Li, Chongrong Li. Testing Black-Box SDN Applications with Formal Behavior Models. In 25th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2017, Banff, AB, Canada, September 20-22, 2017. pages 110-120, IEEE Computer Society, 2017. [doi]
Abstract is missing.