{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T12:18:47Z","timestamp":1769170727093,"version":"3.49.0"},"reference-count":168,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2018,2,20]],"date-time":"2018-02-20T00:00:00Z","timestamp":1519084800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EC FP7 NetIDE","award":["G.A. 619543"],"award-info":[{"award-number":["G.A. 619543"]}]},{"name":"EC H2020 SUPERFLUIDITY","award":["G.A. 671566"],"award-info":[{"award-number":["G.A. 671566"]}]},{"name":"Spanish DRONEXT","award":["G.A. TEC2014-58964-C2-1-R"],"award-info":[{"award-number":["G.A. TEC2014-58964-C2-1-R"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2019,3,31]]},"abstract":"<jats:p>In the context of the emergent Software-Defined Networking (SDN) paradigm, the attention is mostly directed to the evolution of control protocols and networking functionalities. However, network professionals also need the right tools to reach the same level\u2014and beyond\u2014of monitoring and control they have in traditional networks. Current SDN tools are developed on an ad hoc basis, for specific SDN frameworks, while production environments demand standard platforms and easy integration. This survey aims to foster the definition of the next generation SDN management framework by providing the readers a thorough overview of existing SDN tools and main research directions.<\/jats:p>","DOI":"10.1145\/3165290","type":"journal-article","created":{"date-parts":[[2018,2,23]],"date-time":"2018-02-23T15:22:21Z","timestamp":1519399341000},"page":"1-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Are We Ready to Drive Software-Defined Networks? A Comprehensive Survey on Management Tools and Techniques"],"prefix":"10.1145","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6385-2628","authenticated-orcid":false,"given":"Elisa","family":"Rojas","sequence":"first","affiliation":[{"name":"Telcaria Ideas S.L., Spain"}]},{"given":"Roberto","family":"Doriguzzi-Corin","sequence":"additional","affiliation":[{"name":"FBK CREATE-NET, Italy"}]},{"given":"Sergio","family":"Tamurejo","sequence":"additional","affiliation":[{"name":"Institute IMDEA Networks, Spain"}]},{"given":"Andres","family":"Beato","sequence":"additional","affiliation":[{"name":"Telcaria Ideas S.L., Spain"}]},{"given":"Arne","family":"Schwabe","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany"}]},{"given":"Kevin","family":"Phemius","sequence":"additional","affiliation":[{"name":"Thales Communications 8 Security, France"}]},{"given":"Carmen","family":"Guerrero","sequence":"additional","affiliation":[{"name":"University Carlos III of Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2018,2,20]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1816004"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620756"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620741"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of 2016 Principles, Systems and Applications of IP Telecommunications (IPTComm). 1--9.","author":"Aljaedi Amer","unstructured":"Amer Aljaedi and C. Edward Chow . 2016. Pathseer: A centralized tracer of packet trajectories in software-defined datacenter networks . In Proceedings of 2016 Principles, Systems and Applications of IP Telecommunications (IPTComm). 1--9. Amer Aljaedi and C. Edward Chow. 2016. Pathseer: A centralized tracer of packet trajectories in software-defined datacenter networks. In Proceedings of 2016 Principles, Systems and Applications of IP Telecommunications (IPTComm). 1--9."},{"key":"e_1_2_1_7_1","first-page":"1","article-title":"Comprehensive survey on T-SDN: Software-defined networking for transport networks","volume":"99","author":"Alvizu Rodolfo","year":"2017","unstructured":"Rodolfo Alvizu , Guido Maier , Navin Kukreja , Achille Pattavina , Roberto Morro , Alessandro Capello , and Carlo Cavazzoni . 2017 . Comprehensive survey on T-SDN: Software-defined networking for transport networks . IEEE Communications Surveys Tutorials PP , 99 (2017), 1 -- 1 . Rodolfo Alvizu, Guido Maier, Navin Kukreja, Achille Pattavina, Roberto Morro, Alessandro Capello, and Carlo Cavazzoni. 2017. Comprehensive survey on T-SDN: Software-defined networking for transport networks. IEEE Communications Surveys Tutorials PP, 99 (2017), 1--1.","journal-title":"IEEE Communications Surveys Tutorials PP"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491211"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCOMM.2015.2496955"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674992"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594317"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 10th International Conference on Network and Service Management (CNSM\u201914)","author":"Banerjee S.","unstructured":"S. Banerjee and K. Kannan . 2014. Tag-in-tag: Efficient flow table management in SDN switches . In Proceedings of the 10th International Conference on Network and Service Management (CNSM\u201914) . S. Banerjee and K. Kannan. 2014. Tag-in-tag: Efficient flow table management in SDN switches. In Proceedings of the 10th International Conference on Network and Service Management (CNSM\u201914)."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620743"},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the 2015 IFIP\/IEEE International Symposium on Integrated Network Management (IM\u201915)","author":"Bemby S.","unstructured":"S. Bemby , Hongbin Lu , K. H. Zadeh , H. Bannazadeh , and A. Leon-Garcia . 2015. ViNO: SDN overlay to allow seamless migration across heterogeneous infrastructure . In Proceedings of the 2015 IFIP\/IEEE International Symposium on Integrated Network Management (IM\u201915) . S. Bemby, Hongbin Lu, K. H. Zadeh, H. Bannazadeh, and A. Leon-Garcia. 2015. ViNO: SDN overlay to allow seamless migration across heterogeneous infrastructure. In Proceedings of the 2015 IFIP\/IEEE International Symposium on Integrated Network Management (IM\u201915)."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879141.1879175"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"key":"e_1_2_1_18_1","volume-title":"YANG - A Data Modeling Language for the Network Configuration Protocol (NETCONF). RFC 6020 (Proposed Standard). Retrieved","author":"Bjorklund M.","year":"2010","unstructured":"M. Bjorklund . 2010. YANG - A Data Modeling Language for the Network Configuration Protocol (NETCONF). RFC 6020 (Proposed Standard). Retrieved Oct. 2010 from http:\/\/www.ietf.org\/rfc\/rfc6020.txt. M. Bjorklund. 2010. YANG - A Data Modeling Language for the Network Configuration Protocol (NETCONF). RFC 6020 (Proposed Standard). Retrieved Oct. 2010 from http:\/\/www.ietf.org\/rfc\/rfc6020.txt."},{"key":"e_1_2_1_19_1","volume-title":"Survey on network virtualization hypervisors for software defined networking. CoRR","author":"Blenk Andreas","year":"2015","unstructured":"Andreas Blenk , Arsany Basta , Martin Reisslein , and Wolfgang Kellerer . 2015. Survey on network virtualization hypervisors for software defined networking. CoRR ( 2015 ). http:\/\/arxiv.org\/abs\/1506.07275. Andreas Blenk, Arsany Basta, Martin Reisslein, and Wolfgang Kellerer. 2015. Survey on network virtualization hypervisors for software defined networking. CoRR (2015). http:\/\/arxiv.org\/abs\/1506.07275."},{"key":"e_1_2_1_20_1","unstructured":"Avrim Blum. 2001. Graphplan. Retrieved Nov. 2017 from https:\/\/www.cs.cmu.edu\/&sim;avrim\/graphplan.html.  Avrim Blum. 2001. Graphplan. Retrieved Nov. 2017 from https:\/\/www.cs.cmu.edu\/&sim;avrim\/graphplan.html."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_2_1_22_1","series-title":"Lecture Notes in Computer Science","volume-title":"ACSR: An algebra of communicating shared resources with dense time and priorities. In Proceedings of CONCUR\u201993","author":"Brmond-Grgoire Patrice","year":"1993","unstructured":"Patrice Brmond-Grgoire , Insup Lee , and Richard Gerber . 1993 . ACSR: An algebra of communicating shared resources with dense time and priorities. In Proceedings of CONCUR\u201993 . Lecture Notes in Computer Science , Vol. 715 . Springer , Berlin , 417--431. Patrice Brmond-Grgoire, Insup Lee, and Richard Gerber. 1993. ACSR: An algebra of communicating shared resources with dense time and priorities. In Proceedings of CONCUR\u201993. Lecture Notes in Computer Science, Vol. 715. Springer, Berlin, 417--431."},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications. 1--9.","author":"Bu K.","unstructured":"K. Bu , X. Wen , B. Yang , Y. Chen , L. E. Li , and X. Chen . 2016. Is every flow on the right track?: Inspect SDN forwarding with RuleScope . In Proceedings of IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications. 1--9. K. Bu, X. Wen, B. Yang, Y. Chen, L. E. Li, and X. Chen. 2016. Is every flow on the right track?: Inspect SDN forwarding with RuleScope. In Proceedings of IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications. 1--9."},{"key":"e_1_2_1_24_1","series-title":"Lecture Notes in Computer Science book series (LNCS)","volume-title":"Why and Where: A Characterization of Data Provenance","author":"Buneman Peter","unstructured":"Peter Buneman , Sanjeev Khanna , and Tan Wang-Chiew . 2001. Why and Where: A Characterization of Data Provenance . Lecture Notes in Computer Science book series (LNCS) , Vol. 1973 . Springer , 316--330. Peter Buneman, Sanjeev Khanna, and Tan Wang-Chiew. 2001. Why and Where: A Characterization of Data Provenance. Lecture Notes in Computer Science book series (LNCS), Vol. 1973. Springer, 316--330."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of NSDI.","author":"Canini Marco","year":"2012","unstructured":"Marco Canini , Daniele Venzano , Peter Peresini , Dejan Kostic , Jennifer Rexford , 2012 . A NICE way to test openflow applications . In Proceedings of NSDI. Marco Canini, Daniele Venzano, Peter Peresini, Dejan Kostic, Jennifer Rexford, et al. 2012. A NICE way to test openflow applications. In Proceedings of NSDI."},{"key":"e_1_2_1_26_1","unstructured":"Luciano Jerez Chaves. 2017. OpenFlow 1.3 module for ns-3. Retrieved Nov. 2017 from http:\/\/www.lrc.ic.unicamp.br\/ofswitch13\/ofswitch13.pdf.  Luciano Jerez Chaves. 2017. OpenFlow 1.3 module for ns-3. Retrieved Nov. 2017 from http:\/\/www.lrc.ic.unicamp.br\/ofswitch13\/ofswitch13.pdf."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2014.6838227"},{"key":"e_1_2_1_28_1","volume-title":"The BuDDy Library 8 Boolean Expressions. Retrieved","author":"Cohen Haim","year":"2016","unstructured":"Haim Cohen . 2004. The BuDDy Library 8 Boolean Expressions. Retrieved Dec. 2016 from http:\/\/www.drdobbs.com\/the-buddy-library-boolean-expressions\/184401847. Haim Cohen. 2004. The BuDDy Library 8 Boolean Expressions. Retrieved Dec. 2016 from http:\/\/www.drdobbs.com\/the-buddy-library-boolean-expressions\/184401847."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018466"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/FiCloud.2015.127"},{"key":"e_1_2_1_31_1","first-page":"1","article-title":"A survey on the security of stateful SDN data planes","volume":"99","author":"Dargahi Tooska","year":"2017","unstructured":"Tooska Dargahi , Alberto Caponi , Moreno Ambrosin , Giuseppe Bianchi , and Mauri Conti . 2017 . A survey on the security of stateful SDN data planes . IEEE Communications Surveys Tutorials PP , 99 (2017), 1 -- 1 . Tooska Dargahi, Alberto Caponi, Moreno Ambrosin, Giuseppe Bianchi, and Mauri Conti. 2017. A survey on the security of stateful SDN data planes. IEEE Communications Surveys Tutorials PP, 99 (2017), 1--1.","journal-title":"IEEE Communications Surveys Tutorials PP"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2014.50"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the 2016 12th International Conference on Network and Service Management (CNSM\u201916)","author":"Doriguzzi-Corin R.","unstructured":"R. Doriguzzi-Corin , P. A. A. Gutierrez , E. Rojas , H. Karl , and E. Salvadori . 2016. Reusability of software-defined networking applications: A runtime, multi-controller approach . In Proceedings of the 2016 12th International Conference on Network and Service Management (CNSM\u201916) . 209--215. R. Doriguzzi-Corin, P. A. A. Gutierrez, E. Rojas, H. Karl, and E. Salvadori. 2016. Reusability of software-defined networking applications: A runtime, multi-controller approach. In Proceedings of the 2016 12th International Conference on Network and Service Management (CNSM\u201916). 209--215."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2016.7502889"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674993"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908124"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620751"},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the13th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201916)","author":"Fayaz Seyed K.","year":"2016","unstructured":"Seyed K. Fayaz , Tianlong Yu , Yoshiaki Tobioka , Sagar Chaki , and Vyas Sekar . 2016 . BUZZ: Testing context-dependent policies in stateful networks . In Proceedings of the13th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201916) . 275--289. Seyed K. Fayaz, Tianlong Yu, Yoshiaki Tobioka, Sagar Chaki, and Vyas Sekar. 2016. BUZZ: Testing context-dependent policies in stateful networks. In Proceedings of the13th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201916). 275--289."},{"key":"e_1_2_1_40_1","volume-title":"Salao de Ferramentas do XXXII Simp\u00f3sio Brasileiro de Redes de Computadores e Sistemas Distribu\u0131dos SBRC","author":"Fernandes Eder Leao","year":"2014","unstructured":"Eder Leao Fernandes and Christian Esteve Rothenberg . 2014. OpenFlow 1.3 software switch. Salao de Ferramentas do XXXII Simp\u00f3sio Brasileiro de Redes de Computadores e Sistemas Distribu\u0131dos SBRC ( 2014 ), 1021--1028. Eder Leao Fernandes and Christian Esteve Rothenberg. 2014. OpenFlow 1.3 software switch. Salao de Ferramentas do XXXII Simp\u00f3sio Brasileiro de Redes de Computadores e Sistemas Distribu\u0131dos SBRC (2014), 1021--1028."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337228"},{"key":"e_1_2_1_43_1","volume-title":"Floodlight OpenFlow Controller. Retrieved","year":"2016","unstructured":"Floodlight. 2016. Floodlight OpenFlow Controller. Retrieved Dec. 2016 from https:\/\/floodlight.atlassian.net\/wiki\/spaces\/floodlightcontroller. Floodlight. 2016. Floodlight OpenFlow Controller. Retrieved Dec. 2016 from https:\/\/floodlight.atlassian.net\/wiki\/spaces\/floodlightcontroller."},{"key":"e_1_2_1_44_1","unstructured":"Floodlight. 2016. Indigo Virtual Switch. Retrieved from https:\/\/floodlight.atlassian.net\/wiki\/display\/indigodocs\/Indigo+Virtual+Switch+Documentation.  Floodlight. 2016. Indigo Virtual Switch. Retrieved from https:\/\/floodlight.atlassian.net\/wiki\/display\/indigodocs\/Indigo+Virtual+Switch+Documentation."},{"key":"e_1_2_1_45_1","unstructured":"Floodlight. 2016. OFTest. Retrieved from https:\/\/floodlight.atlassian.net\/wiki\/spaces\/OFTest.  Floodlight. 2016. OFTest. Retrieved from https:\/\/floodlight.atlassian.net\/wiki\/spaces\/OFTest."},{"key":"e_1_2_1_46_1","unstructured":"ForwardNetworks. 2016. Forward Networks. Retrieved from https:\/\/www.forwardnetworks.com.  ForwardNetworks. 2016. Forward Networks. Retrieved from https:\/\/www.forwardnetworks.com."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1921151.1921160"},{"key":"e_1_2_1_48_1","unstructured":"Apache Software Foundation. 1999. Apache JMeter. Retrieved from http:\/\/jmeter.apache.org\/.  Apache Software Foundation. 1999. Apache JMeter. Retrieved from http:\/\/jmeter.apache.org\/."},{"key":"e_1_2_1_49_1","volume-title":"Hadoop: Yarn Scheduler Load Simulator (SLS).","author":"Foundation Apache Software","year":"2014","unstructured":"Apache Software Foundation . 2014 . Hadoop: Yarn Scheduler Load Simulator (SLS). Retrieved from https:\/\/hadoop.apache.org\/docs\/r2.4.1\/hadoop-sls\/SchedulerLoadSimulator.html. Apache Software Foundation. 2014. Hadoop: Yarn Scheduler Load Simulator (SLS). Retrieved from https:\/\/hadoop.apache.org\/docs\/r2.4.1\/hadoop-sls\/SchedulerLoadSimulator.html."},{"key":"e_1_2_1_50_1","volume-title":"GDB: The GNU Project Debugger.","author":"Foundation Free Software","year":"1986","unstructured":"Free Software Foundation . 1986 . GDB: The GNU Project Debugger. Retrieved from https:\/\/www.gnu.org\/software\/gdb\/. Free Software Foundation. 1986. GDB: The GNU Project Debugger. Retrieved from https:\/\/www.gnu.org\/software\/gdb\/."},{"key":"e_1_2_1_51_1","unstructured":"Linux Foundation. 2016. OvS: Open vSwitch. Retrieved from http:\/\/openvswitch.org\/.  Linux Foundation. 2016. OvS: Open vSwitch. Retrieved from http:\/\/openvswitch.org\/."},{"key":"e_1_2_1_52_1","volume-title":"Proceedings of the 2015 1st IEEE Conference on Network Softwarization (NetSoft\u201915)","author":"Gheorghe G.","unstructured":"G. Gheorghe , T. Avanesov , M.-R. Palattella , T. Engel , and C. Popoviciu . 2015. SDN-RADAR: Network troubleshooting combining user experience and SDN capabilities . In Proceedings of the 2015 1st IEEE Conference on Network Softwarization (NetSoft\u201915) . G. Gheorghe, T. Avanesov, M.-R. Palattella, T. Engel, and C. Popoviciu. 2015. SDN-RADAR: Network troubleshooting combining user experience and SDN capabilities. In Proceedings of the 2015 1st IEEE Conference on Network Softwarization (NetSoft\u201915)."},{"key":"e_1_2_1_53_1","unstructured":"GitHub. 2011. POX Controller. Retrieved from https:\/\/github.com\/noxrepo\/pox.  GitHub. 2011. POX Controller. Retrieved from https:\/\/github.com\/noxrepo\/pox."},{"key":"e_1_2_1_54_1","unstructured":"GitHub. 2012. Ripcord-Lite for POX: A simple network controller for OpenFlow-based data centers. Retrieved from https:\/\/github.com\/brandonheller\/riplpox.  GitHub. 2012. Ripcord-Lite for POX: A simple network controller for OpenFlow-based data centers. Retrieved from https:\/\/github.com\/brandonheller\/riplpox."},{"key":"e_1_2_1_55_1","unstructured":"GitHub. 2016. NetIDE Profiler (GitHub). Retrieved from https:\/\/github.com\/fp7-netide\/Tools\/tree\/master\/profiler.  GitHub. 2016. NetIDE Profiler (GitHub). Retrieved from https:\/\/github.com\/fp7-netide\/Tools\/tree\/master\/profiler."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934891"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3005745.3005748"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491202"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2014.10.015"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413206"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342453"},{"key":"e_1_2_1_63_1","volume-title":"Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201914)","author":"Handigol Nikhil","year":"2014","unstructured":"Nikhil Handigol , Brandon Heller , Vimalkumar Jeyakumar , David Mazi\u00e8res , and Nick McKeown . 2014 . I know what your packet did last hop: Using packet histories to troubleshoot networks . In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201914) . Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David Mazi\u00e8res, and Nick McKeown. 2014. I know what your packet did last hop: Using packet histories to troubleshoot networks. In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201914)."},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2015.7140294"},{"key":"e_1_2_1_65_1","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"Holzmann G.","unstructured":"G. Holzmann . 2005. The SPIN Model Checker: Primer and Reference Manual . Addison-Wesley . G. Holzmann. 2005. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley."},{"key":"e_1_2_1_66_1","volume-title":"Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201917)","author":"Horn Alex","year":"2017","unstructured":"Alex Horn , Ali Kheradmand , and Mukul Prasad . 2017 . Delta-net: Real-time network verification using atoms . In Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201917) . 735--749. Alex Horn, Ali Kheradmand, and Mukul Prasad. 2017. Delta-net: Real-time network verification using atoms. In Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201917). 735--749."},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2326417"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620749"},{"key":"e_1_2_1_69_1","volume-title":"Proceedings of the 2013 22nd International Conference on Computer Communications and Networks (ICCCN\u201913)","author":"Huang Shufeng","unstructured":"Shufeng Huang and J. Griffioen . 2013. Network hypervisors: Managing the emerging SDN chaos . In Proceedings of the 2013 22nd International Conference on Computer Communications and Networks (ICCCN\u201913) . Shufeng Huang and J. Griffioen. 2013. Network hypervisors: Managing the emerging SDN chaos. In Proceedings of the 2013 22nd International Conference on Computer Communications and Networks (ICCCN\u201913)."},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2630047"},{"key":"e_1_2_1_71_1","unstructured":"IETF. 2013. VeriSDN: Formal verification for software defined networking (SDN). Retrieved from https:\/\/www.ietf.org\/proceedings\/87\/slides\/slides-87-sdnrg-6.pdf.  IETF. 2013. VeriSDN: Formal verification for software defined networking (SDN). Retrieved from https:\/\/www.ietf.org\/proceedings\/87\/slides\/slides-87-sdnrg-6.pdf."},{"key":"e_1_2_1_72_1","unstructured":"Internet2. 2016. Internet2 Home Page. (2016). Retrieved from http:\/\/www.internet2.edu.  Internet2. 2016. Internet2 Home Page. (2016). Retrieved from http:\/\/www.internet2.edu."},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2320094"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/EWSDN.2012.15"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2014.6829966"},{"key":"e_1_2_1_76_1","volume-title":"1990. Simple Network Management Protocol (SNMP). RFC 1157 (Historic). Retrieved","author":"Case J. D.","year":"1990","unstructured":"J. D. Case 1990. Simple Network Management Protocol (SNMP). RFC 1157 (Historic). Retrieved May 1990 from http:\/\/www.ietf.org\/rfc\/rfc1157.txt. J. D. Case et al.1990. Simple Network Management Protocol (SNMP). RFC 1157 (Historic). Retrieved May 1990 from http:\/\/www.ietf.org\/rfc\/rfc1157.txt."},{"key":"e_1_2_1_77_1","volume-title":"Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201915)","author":"Jin Xin","year":"2015","unstructured":"Xin Jin , Jennifer Gossels , Jennifer Rexford , and David Walker . 2015 . CoVisor: A compositional hypervisor for software-defined networks . In Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201915) . Xin Jin, Jennifer Gossels, Jennifer Rexford, and David Walker. 2015. CoVisor: A compositional hypervisor for software-defined networks. In Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201915)."},{"key":"e_1_2_1_78_1","volume-title":"Proceedings of the 2015 IEEE 23rd International Conference on Network Protocols (ICNP\u201915)","author":"Kang H.","unstructured":"H. Kang , S. Lee , C. Lee , C. Yoon , and S. Shin . 2015. SPIRIT: A framework for profiling SDN . In Proceedings of the 2015 IEEE 23rd International Conference on Network Protocols (ICNP\u201915) . 417--424. H. Kang, S. Lee, C. Lee, C. Yoon, and S. Shin. 2015. SPIRIT: A framework for profiling SDN. In Proceedings of the 2015 IEEE 23rd International Conference on Network Protocols (ICNP\u201915). 417--424."},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2016.11.017"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620734"},{"key":"e_1_2_1_81_1","volume-title":"Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201913)","author":"Kazemian Peyman","year":"2013","unstructured":"Peyman Kazemian , Michael Chang , Hongyi Zeng , George Varghese , Nick McKeown , and Scott Whyte . 2013 . Real time network policy checking using header space analysis . In Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201913) . Peyman Kazemian, Michael Chang, Hongyi Zeng, George Varghese, Nick McKeown, and Scott Whyte. 2013. Real time network policy checking using header space analysis. In Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201913)."},{"key":"e_1_2_1_82_1","volume-title":"Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation.","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian , George Varghese , and Nick McKeown . 2012 . Header space analysis: Static checking for networks . In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation. Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Header space analysis: Static checking for networks. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation."},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2597193"},{"key":"e_1_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2016.1600051NM"},{"key":"e_1_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6461195"},{"key":"e_1_2_1_87_1","volume-title":"Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation.","author":"Kim Hyojoon","year":"2015","unstructured":"Hyojoon Kim , Joshua Reich , Arpit Gupta , Muhammad Shahbaz , Nick Feamster , and Russ Clark . 2015 . Kinetic: Verifiable dynamic network control . In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation. Hyojoon Kim, Joshua Reich, Arpit Gupta, Muhammad Shahbaz, Nick Feamster, and Russ Clark. 2015. Kinetic: Verifiable dynamic network control. In Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation."},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.5555\/2512734.2512780"},{"key":"e_1_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2014.6838410"},{"key":"e_1_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413207"},{"key":"e_1_2_1_92_1","volume-title":"Proceedings of the 23rd International Conference on Computer Aided Verification.","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . 2011. PRISM 4.0: Verification of probabilistic real-time systems . In Proceedings of the 23rd International Conference on Computer Aided Verification. M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of probabilistic real-time systems. In Proceedings of the 23rd International Conference on Computer Aided Verification."},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"e_1_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2790030"},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2014.6838225"},{"key":"e_1_2_1_96_1","doi-asserted-by":"crossref","unstructured":"M. Mahalingam D. Dutt K. Duda P. Agarwal L. Kreeger T. Sridhar M. Bursell and C. Wright. 2014. Virtual Extensible Local Area Network (VXLAN): A Framework for Overlaying Virtualized Layer 2 Networks Over Layer 3 Networks. RFC 7348. RFC Editor. http:\/\/www.rfc-editor.org\/rfc\/rfc7348.txthttp:\/\/www.rfc-editor.org\/rfc\/rfc7348.txt.  M. Mahalingam D. Dutt K. Duda P. Agarwal L. Kreeger T. Sridhar M. Bursell and C. Wright. 2014. Virtual Extensible Local Area Network (VXLAN): A Framework for Overlaying Virtualized Layer 2 Networks Over Layer 3 Networks. RFC 7348. RFC Editor. http:\/\/www.rfc-editor.org\/rfc\/rfc7348.txthttp:\/\/www.rfc-editor.org\/rfc\/rfc7348.txt.","DOI":"10.17487\/rfc7348"},{"key":"e_1_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.5555\/2682923.2682953"},{"key":"e_1_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.23919\/INM.2017.7987286"},{"key":"e_1_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2016.03.016"},{"key":"e_1_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1109\/WoWMoM.2014.6918985"},{"key":"e_1_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2633579"},{"key":"e_1_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1109\/SDS.2017.7939138"},{"key":"e_1_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535795"},{"key":"e_1_2_1_105_1","volume-title":"Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201913)","author":"Monsanto Christopher","year":"2013","unstructured":"Christopher Monsanto , Joshua Reich , Nate Foster , Jennifer Rexford , and David Walker . 2013 . Composing software defined networks . In Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201913) . Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, and David Walker. 2013. Composing software defined networks. In Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201913)."},{"key":"e_1_2_1_106_1","volume-title":"Proceedings of the 2016 5th International Conference on Informatics, Electronics and Vision (ICIEV\u201916)","author":"Nde G. N.","unstructured":"G. N. Nde and R. Khondoker . 2016. SDN testing and debugging tools: A survey . In Proceedings of the 2016 5th International Conference on Informatics, Electronics and Vision (ICIEV\u201916) . 631--635. G. N. Nde and R. Khondoker. 2016. SDN testing and debugging tools: A survey. In Proceedings of the 2016 5th International Conference on Informatics, Electronics and Vision (ICIEV\u201916). 631--635."},{"key":"e_1_2_1_107_1","unstructured":"NetIDE. 2016. An integrated development environment for portable network applications. Retrieved from http:\/\/www.netide.eu\/.  NetIDE. 2016. An integrated development environment for portable network applications. Retrieved from http:\/\/www.netide.eu\/."},{"key":"e_1_2_1_108_1","unstructured":"ns 3. 2011. ns-3 simulator. Retrieved from https:\/\/www.nsnam.org\/.  ns 3. 2011. ns-3 simulator. Retrieved from https:\/\/www.nsnam.org\/."},{"key":"e_1_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2014.012214.00180"},{"key":"e_1_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2017.04.038"},{"key":"e_1_2_1_111_1","unstructured":"ONF. 2013. OpenFlow Switch Specification 1.4.0. (2013). https:\/\/www.opennetworking.org\/images\/stories\/downloads\/sdn-resources\/onf-specifications\/openflow\/openflow-spec-v1.4.0.pdf.  ONF. 2013. OpenFlow Switch Specification 1.4.0. (2013). https:\/\/www.opennetworking.org\/images\/stories\/downloads\/sdn-resources\/onf-specifications\/openflow\/openflow-spec-v1.4.0.pdf."},{"key":"e_1_2_1_112_1","unstructured":"ONF. 2014. OpenFlow Management and Configuration Protocol 1.2. (2014). https:\/\/www.opennetworking.org\/images\/stories\/downloads\/sdn-resources\/onf-specifications\/openflow-config\/of-config-1.2.pdf.  ONF. 2014. OpenFlow Management and Configuration Protocol 1.2. (2014). https:\/\/www.opennetworking.org\/images\/stories\/downloads\/sdn-resources\/onf-specifications\/openflow-config\/of-config-1.2.pdf."},{"key":"e_1_2_1_113_1","unstructured":"ONF. 2016. SDN architecture - Issue 1.1. (2016). https:\/\/www.opennetworking.org\/wp-content\/uploads\/2014\/10\/TR-521_SDN_Architecture_issue_1.1.pdf.  ONF. 2016. SDN architecture - Issue 1.1. (2016). https:\/\/www.opennetworking.org\/wp-content\/uploads\/2014\/10\/TR-521_SDN_Architecture_issue_1.1.pdf."},{"key":"e_1_2_1_114_1","unstructured":"ON.Lab. 2016. ONOS CLI Commands. (2016). https:\/\/wiki.onosproject.org\/display\/ONOS\/The+ONOS+CLI.  ON.Lab. 2016. ONOS CLI Commands. (2016). https:\/\/wiki.onosproject.org\/display\/ONOS\/The+ONOS+CLI."},{"key":"e_1_2_1_115_1","unstructured":"ON.Lab. 2016. ONOS Composition Mode. Retrieved from https:\/\/wiki.onosproject.org\/display\/ONOS\/Composition+Mode.  ON.Lab. 2016. ONOS Composition Mode. Retrieved from https:\/\/wiki.onosproject.org\/display\/ONOS\/Composition+Mode."},{"key":"e_1_2_1_116_1","unstructured":"ON.Lab. 2016. ONOS Java API. Retrieved from http:\/\/api.onosproject.org\/.  ON.Lab. 2016. ONOS Java API. Retrieved from http:\/\/api.onosproject.org\/."},{"key":"e_1_2_1_117_1","unstructured":"ON.Lab. 2016. ONOS REST API. Retrieved from https:\/\/wiki.onosproject.org\/display\/ONOS\/REST.  ON.Lab. 2016. ONOS REST API. Retrieved from https:\/\/wiki.onosproject.org\/display\/ONOS\/REST."},{"key":"e_1_2_1_118_1","unstructured":"OpenSim. 2001. OMNeT++ Home Page. Retrieved from https:\/\/omnetpp.org\/.  OpenSim. 2001. OMNeT++ Home Page. Retrieved from https:\/\/omnetpp.org\/."},{"key":"e_1_2_1_119_1","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836117"},{"key":"e_1_2_1_120_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787506"},{"key":"e_1_2_1_121_1","unstructured":"R. Enns et al. 2011. Network Configuration Protocol (NETCONF). RFC 6241 (Proposed Standard). Retrieved June 2011 from http:\/\/www.ietf.org\/rfc\/rfc6241.txt.  R. Enns et al. 2011. Network Configuration Protocol (NETCONF). RFC 6241 (Proposed Standard). Retrieved June 2011 from http:\/\/www.ietf.org\/rfc\/rfc6241.txt."},{"key":"e_1_2_1_122_1","unstructured":"RabbitMQ. 2007. RabbitMQ official website. Retrieved from https:\/\/www.rabbitmq.com\/.  RabbitMQ. 2007. RabbitMQ official website. Retrieved from https:\/\/www.rabbitmq.com\/."},{"key":"e_1_2_1_123_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2618874"},{"key":"e_1_2_1_124_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28537-0_9"},{"key":"e_1_2_1_125_1","unstructured":"Margaret Rouse. 2016. Debugging definition. Retrieved from http:\/\/searchsoftwarequality.techtarget.com\/definition\/debugging.  Margaret Rouse. 2016. Debugging definition. Retrieved from http:\/\/searchsoftwarequality.techtarget.com\/definition\/debugging."},{"key":"e_1_2_1_126_1","volume-title":"Proceedings of the 2014 IEEE Network Operations and Management Symposium (NOMS\u201914)","author":"Roy A. R.","unstructured":"A. R. Roy , M. F. Bari , M. F. Zhani , R. Ahmed , and R. Boutaba . 2014. Design and management of DOT: A distributed openflow testbed . In Proceedings of the 2014 IEEE Network Operations and Management Symposium (NOMS\u201914) . A. R. Roy, M. F. Bari, M. F. Zhani, R. Ahmed, and R. Boutaba. 2014. Design and management of DOT: A distributed openflow testbed. In Proceedings of the 2014 IEEE Network Operations and Management Symposium (NOMS\u201914)."},{"key":"e_1_2_1_127_1","unstructured":"Ryu. 2012. OpenFlow Switch Test Tool. Retrieved from https:\/\/osrg.github.io\/ryu-book\/en\/html\/switch_test_tool.html.  Ryu. 2012. OpenFlow Switch Test Tool. Retrieved from https:\/\/osrg.github.io\/ryu-book\/en\/html\/switch_test_tool.html."},{"key":"e_1_2_1_128_1","unstructured":"Ryu. 2012. Ryu SDN framework. Retrieved from http:\/\/osrg.github.com\/ryu\/.  Ryu. 2012. Ryu SDN framework. Retrieved from http:\/\/osrg.github.com\/ryu\/."},{"key":"e_1_2_1_129_1","doi-asserted-by":"publisher","DOI":"10.1145\/2959424.2959436"},{"key":"e_1_2_1_131_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679403"},{"key":"e_1_2_1_132_1","unstructured":"Ganesh H. Shankar. 2016. OFNet. Retrieved from http:\/\/sdninsights.org\/.  Ganesh H. Shankar. 2016. OFNet. Retrieved from http:\/\/sdninsights.org\/."},{"key":"e_1_2_1_133_1","doi-asserted-by":"publisher","DOI":"10.1145\/1672308.1672333"},{"key":"e_1_2_1_134_1","unstructured":"Rob Sherwood and K. K. Yap. 2011. Cbench controller benchmarker. Last accessed Nov. 2011.  Rob Sherwood and K. K. Yap. 2011. Cbench controller benchmarker. Last accessed Nov. 2011."},{"key":"e_1_2_1_135_1","volume-title":"Proceedings of the ISOC Network and Distributed System Security Symposium (NDSS\u201913)","author":"Shin Seungwon","year":"2013","unstructured":"Seungwon Shin , Phillip A. Porras , Vinod Yegneswaran , Martin W. Fong , Guofei Gu , and Mabry Tyson . 2013 . FRESCO: Modular composable security services for software-defined networks . In Proceedings of the ISOC Network and Distributed System Security Symposium (NDSS\u201913) . Seungwon Shin, Phillip A. Porras, Vinod Yegneswaran, Martin W. Fong, Guofei Gu, and Mabry Tyson. 2013. FRESCO: Modular composable security services for software-defined networks. In Proceedings of the ISOC Network and Distributed System Security Symposium (NDSS\u201913)."},{"key":"e_1_2_1_136_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-016-9393-9"},{"key":"e_1_2_1_137_1","doi-asserted-by":"publisher","DOI":"10.1109\/IC2E.2014.72"},{"key":"e_1_2_1_138_1","volume-title":"INFOCOM, 2011 Proceedings IEEE.","author":"Sommers J.","unstructured":"J. Sommers , R. Bowden , B. Eriksson , P. Barford , M. Roughan , and N. Duffield . 2011. Efficient network-wide flow record generation . In INFOCOM, 2011 Proceedings IEEE. J. Sommers, R. Bowden, B. Eriksson, P. Barford, M. Roughan, and N. Duffield. 2011. Efficient network-wide flow record generation. In INFOCOM, 2011 Proceedings IEEE."},{"key":"e_1_2_1_139_1","volume-title":"Proceedings of IM.","author":"Song Sejun","year":"2013","unstructured":"Sejun Song , Sungmin Hong , Xinjie Guan , Baek-Young Choi , and Changho Choi . 2013 . NEOD: Network embedded on-line disaster management framework for software defined networking . In Proceedings of IM. Sejun Song, Sungmin Hong, Xinjie Guan, Baek-Young Choi, and Changho Choi. 2013. NEOD: Network embedded on-line disaster management framework for software defined networking. In Proceedings of IM."},{"key":"e_1_2_1_140_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626298"},{"key":"e_1_2_1_141_1","unstructured":"Veriflow Systems. 2016. Veriflow. Retrieved from http:\/\/www.veriflow.net\/.  Veriflow Systems. 2016. Veriflow. Retrieved from http:\/\/www.veriflow.net\/."},{"key":"e_1_2_1_142_1","doi-asserted-by":"publisher","DOI":"10.1109\/EWSDN.2013.23"},{"key":"e_1_2_1_143_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-net.2016.0125"},{"key":"e_1_2_1_144_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2016.12.012"},{"key":"e_1_2_1_145_1","volume-title":"Proceedings of the 2014 IEEE Network Operations and Management Symposium (NOMS\u201914)","author":"van Adrichem N. L. M.","unstructured":"N. L. M. van Adrichem , C. Doerr , and F. A. Kuipers . 2014. OpenNetMon: Network monitoring in openflow software-defined networks . In Proceedings of the 2014 IEEE Network Operations and Management Symposium (NOMS\u201914) . 1--8. N. L. M. van Adrichem, C. Doerr, and F. A. Kuipers. 2014. OpenNetMon: Network monitoring in openflow software-defined networks. In Proceedings of the 2014 IEEE Network Operations and Management Symposium (NOMS\u201914). 1--8."},{"key":"e_1_2_1_146_1","doi-asserted-by":"publisher","DOI":"10.5555\/1416222.1416290"},{"key":"e_1_2_1_147_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2006.116"},{"key":"e_1_2_1_148_1","doi-asserted-by":"publisher","DOI":"10.1145\/2611286.2611301"},{"key":"e_1_2_1_149_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICUFN.2016.7537143"},{"key":"e_1_2_1_150_1","first-page":"9","article-title":"EstiNet openflow network simulator and emulator","volume":"51","author":"Wang Shie-Yuan","year":"2013","unstructured":"Shie-Yuan Wang , Chih-Liang Chou , and Chun-Ming Yang . 2013 . EstiNet openflow network simulator and emulator . IEEE Communications Magazine 51 , 9 (Sept. 2013), 110--117. Shie-Yuan Wang, Chih-Liang Chou, and Chun-Ming Yang. 2013. EstiNet openflow network simulator and emulator. IEEE Communications Magazine 51, 9 (Sept. 2013), 110--117.","journal-title":"IEEE Communications Magazine"},{"key":"e_1_2_1_151_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2016.7784433"},{"key":"e_1_2_1_152_1","volume-title":"A tool for tracing network data plane via SDN\/OpenFlow. Science China Information Sciences 60, 2","author":"Wang Yangyang","year":"2016","unstructured":"Yangyang Wang , Jun Bi , and Keyao Zhang . 2016. A tool for tracing network data plane via SDN\/OpenFlow. Science China Information Sciences 60, 2 ( 2016 ). Yangyang Wang, Jun Bi, and Keyao Zhang. 2016. A tool for tracing network data plane via SDN\/OpenFlow. Science China Information Sciences 60, 2 (2016)."},{"key":"e_1_2_1_153_1","volume-title":"Proceedings of the Workshop on Architecture Research using FPGA Platforms.","author":"Watson G.","unstructured":"G. Watson , N. McKeown , and M. Casado . 2006. NetFPGA: A tool for network research and education . In Proceedings of the Workshop on Architecture Research using FPGA Platforms. G. Watson, N. McKeown, and M. Casado. 2006. NetFPGA: A tool for network research and education. In Proceedings of the Workshop on Architecture Research using FPGA Platforms."},{"key":"e_1_2_1_154_1","volume-title":"Proceedings of the 2014 IFIP Networking Conference.","author":"Wette P.","unstructured":"P. Wette , M. Draxler , A. Schwabe , F. Wallaschek , M. H. Zahraee , and H. Karl . 2014. MaxiNet: Distributed emulation of software-defined networks . In Proceedings of the 2014 IFIP Networking Conference. P. Wette, M. Draxler, A. Schwabe, F. Wallaschek, M. H. Zahraee, and H. Karl. 2014. MaxiNet: Distributed emulation of software-defined networks. In Proceedings of the 2014 IFIP Networking Conference."},{"key":"e_1_2_1_155_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2015.12.001"},{"key":"e_1_2_1_156_1","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2015.7116169"},{"key":"e_1_2_1_157_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2015.7010546"},{"key":"e_1_2_1_158_1","unstructured":"Wireshark. 2016. Wireshark. Retrieved from http:\/\/wireshark.org.  Wireshark. 2016. Wireshark. Retrieved from http:\/\/wireshark.org."},{"key":"e_1_2_1_159_1","volume-title":"Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201917)","author":"Wu Yang","year":"2017","unstructured":"Yang Wu , Ang Chen , Andreas Haeberlen , Wenchao Zhou , and Boon Thau Loo . 2017 . Automated bug removal for software-defined networks . In Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201917) . 719--733. Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo. 2017. Automated bug removal for software-defined networks. In Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201917). 719--733."},{"key":"e_1_2_1_160_1","volume-title":"Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference.","author":"Wundsam Andreas","year":"2011","unstructured":"Andreas Wundsam , Dan Levin , Srini Seetharaman , and Anja Feldmann . 2011 . OFRewind: Enabling record and replay troubleshooting for networks . In Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference. Andreas Wundsam, Dan Levin, Srini Seetharaman, and Anja Feldmann. 2011. OFRewind: Enabling record and replay troubleshooting for networks. In Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference."},{"key":"e_1_2_1_161_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2330903"},{"key":"e_1_2_1_162_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2016.0039"},{"key":"e_1_2_1_163_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36516-4_4"},{"key":"e_1_2_1_164_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"e_1_2_1_165_1","volume-title":"Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201914)","author":"Zeng Hongyi","year":"2014","unstructured":"Hongyi Zeng , Shidong Zhang , Fei Ye , Vimalkumar Jeyakumar , Mickey Ju , Junda Liu , Nick McKeown , and Amin Vahdat . 2014 . Libra: Divide and conquer to verify forwarding tables in huge networks . In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201914) . 87--99. Hongyi Zeng, Shidong Zhang, Fei Ye, Vimalkumar Jeyakumar, Mickey Ju, Junda Liu, Nick McKeown, and Amin Vahdat. 2014. Libra: Divide and conquer to verify forwarding tables in huge networks. In Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201914). 87--99."},{"key":"e_1_2_1_166_1","unstructured":"ZeroMQ. 2007. ZeroMQ official website. Retrieved from http:\/\/zeromq.org\/.  ZeroMQ. 2007. ZeroMQ official website. Retrieved from http:\/\/zeromq.org\/."},{"key":"e_1_2_1_167_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620742"},{"key":"e_1_2_1_168_1","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999605"},{"key":"e_1_2_1_169_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535372.2535411"},{"key":"e_1_2_1_170_1","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2016.7502919"}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3165290","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3165290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:54Z","timestamp":1750213614000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3165290"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,20]]},"references-count":168,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,3,31]]}},"alternative-id":["10.1145\/3165290"],"URL":"https:\/\/doi.org\/10.1145\/3165290","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,2,20]]},"assertion":[{"value":"2016-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-11-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-02-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}