Yu, and R. Govindan, "Flow-level state transition as a new switch primitive for SDN," in Proceedings of the 2014 ACM Conference on SIGCOMM, SIGCOMM '14, 2014. 70 G. Bianchi, M. Bonola, A. Capone, and C. Cascone, "OpenState: programming platform-independent stateful openFlow applica- tions inside the switch," SIGCOMM Computer Communication Review, vol. 44, pp. 44-51, 2014. 71 "http://www.haproxy.org/," References 72 'http://www.gedanken.org.uk/software/wwwoffle/," 73 D. Angluin, "Learning regular sets from queries and counterex- amples," Inf. Comput., vol. 75, pp. 87-106, 1987. 74 P. Kazemian, G. Varghese, and N. McKeown, "Header space anal- ysis: static checking for networks," in Proceedings of USENIX NSDI, 2012. 75 H. Mai, A. Khurshid, R. Agarwal, M. Caesar, P. Godfrey, and S. T. King, "Debugging the data plane with anteater," ACM SIG- COMM Computer Communication Review, vol. 41, pp. 290-301, 2011. 76 "https://www.inlab.de/balance.html," 77 "Snort IDS Web page," http://www.snort.org/. 78 M. Forzati, C. Larsen, and C. Mattsson, "Open access networks, the Swedish experience," in Proceedings of the 12th IEEE Inter- national Conference on Transparent Optical Networks, pp. 1-4, 2010. 79 S. Jain, A. Kumar, S. Mandal, J. Ong, L. Poutievski, A. Singh, S. Venkata, J. Wanderer, J. Zhou, M. Zhu, J. Zolla, U. Hölzle, S. Stuart, and A. Vahdat, "B4: experience with a globally-deployed software defined WAN," SIGCOMM Computer Communication Review., vol. 43, no. 4, pp. 3-14,2013. 80 T. Koponen, M. Casado, N. Gude, J. Stribling, L. Poutievski, M. Zhu, R. Ramanathan, Y. Iwata, H. Inoue, T. Hama, and S. Shenker, "Onix: a distributed control platform for large-scale production networks," in Proceedings of the 9th USENIX Confer- ence on Operating Systems Design and Implementation, OSDI'10, 2010. 81 "http://onosproject.org/," 82 P. Sun, R. Mahajan, J. Rexford, L. Yuan, M. Zhang, and A. Arefin, "A network-state management service," SIGCOMM Computer Communication Review, vol. 44, pp. 563-574, 2014. 83 "Network Intent Composition," https