Formal Modeling and Systematic Black-Box Testing of SDN Data Plane | IEEE Conference Publication | IEEE Xplore