{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:09:26Z","timestamp":1774987766464,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,12,10]],"date-time":"2012-12-10T00:00:00Z","timestamp":1355097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,12,10]]},"DOI":"10.1145\/2413176.2413207","type":"proceedings-article","created":{"date-parts":[[2012,12,17]],"date-time":"2012-12-17T15:12:21Z","timestamp":1355757141000},"page":"265-276","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":71,"title":["A SOFT way for openflow switch interoperability testing"],"prefix":"10.1145","author":[{"given":"Maciej","family":"Kuzniar","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"given":"Peter","family":"Peresini","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"given":"Marco","family":"Canini","sequence":"additional","affiliation":[{"name":"TU Berlin \/ T-Labs, Beriln, Germany"}]},{"given":"Daniele","family":"Venzano","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}]},{"given":"Dejan","family":"Kostic","sequence":"additional","affiliation":[{"name":"Institute IMDEA Networks, Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2012,12,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Going With the Flow: Google's Secret Switch to the Next Wave of Networking. http:\/\/www.wired.com\/wiredenterprise\/2012\/04\/going-with-the-flow-google\/all\/1.  Going With the Flow: Google's Secret Switch to the Next Wave of Networking. http:\/\/www.wired.com\/wiredenterprise\/2012\/04\/going-with-the-flow-google\/all\/1."},{"key":"e_1_3_2_1_2_1","unstructured":"OFTest. http:\/\/oftest.openflowhub.org.  OFTest. http:\/\/oftest.openflowhub.org."},{"key":"e_1_3_2_1_3_1","unstructured":"ONF Holds Its First Test Event. https:\/\/www.opennetworking.org\/?p=249&option=com_wordpress&Itemid=72.  ONF Holds Its First Test Event. https:\/\/www.opennetworking.org\/?p=249&option=com_wordpress&Itemid=72."},{"key":"e_1_3_2_1_4_1","unstructured":"Open vSwitch: An Open Virtual Switch. http:\/\/openvswitch.org.  Open vSwitch: An Open Virtual Switch. http:\/\/openvswitch.org."},{"key":"e_1_3_2_1_5_1","unstructured":"OpenFlow Switch Specification. http:\/\/www.openflow.org\/documents\/openflow-spec-v1.0.0.pdf.  OpenFlow Switch Specification. http:\/\/www.openflow.org\/documents\/openflow-spec-v1.0.0.pdf."},{"key":"e_1_3_2_1_6_1","unstructured":"Research experiment disrupts Internet for some. http:\/\/www.computerworld.com\/s\/article\/9182558\/Research_experiment_disrupts_Internet_for_some.  Research experiment disrupts Internet for some. http:\/\/www.computerworld.com\/s\/article\/9182558\/Research_experiment_disrupts_Internet_for_some."},{"key":"e_1_3_2_1_7_1","unstructured":"Staring Into The Gorge: Router Exploits. http:\/\/www.renesys.com\/blog\/2009\/08\/staring-into-the-gorge.shtml.  Staring Into The Gorge: Router Exploits. http:\/\/www.renesys.com\/blog\/2009\/08\/staring-into-the-gorge.shtml."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"e_1_3_2_1_9_1","volume-title":"OSDI","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. R. Engler . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In OSDI , 2008 . C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI, 2008."},{"key":"e_1_3_2_1_10_1","volume-title":"Toward Online Testing of Federated and Heterogeneous Distributed Systems. In USENIX Annual Technical Conference","author":"Canini M.","year":"2011","unstructured":"M. Canini , V. Jovanovi\u0107 , D. Venzano , B. Spasojevi\u0107 , O. Crameri , and D. Kosti\u0107 . Toward Online Testing of Federated and Heterogeneous Distributed Systems. In USENIX Annual Technical Conference , 2011 . M. Canini, V. Jovanovi\u0107, D. Venzano, B. Spasojevi\u0107, O. Crameri, and D. Kosti\u0107. Toward Online Testing of Federated and Heterogeneous Distributed Systems. In USENIX Annual Technical Conference, 2011."},{"key":"e_1_3_2_1_11_1","volume-title":"NSDI","author":"Canini M.","year":"2012","unstructured":"M. Canini , D. Venzano , P. Pere\u0161\u00edni , D. Kosti\u0107 , and J. Rexford . A NICE Way to Test OpenFlow Applications . In NSDI , 2012 . M. Canini, D. Venzano, P. Pere\u0161\u00edni, D. Kosti\u0107, and J. Rexford. A NICE Way to Test OpenFlow Applications. In NSDI, 2012."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110356.2110358"},{"key":"e_1_3_2_1_13_1","volume-title":"NSDI","author":"Feamster N.","year":"2005","unstructured":"N. Feamster and H. Balakrishnan . Detecting BGP Configuration Faults with Static Analysis . In NSDI , 2005 . N. Feamster and H. Balakrishnan. Detecting BGP Configuration Faults with Static Analysis. In NSDI, 2005."},{"key":"e_1_3_2_1_14_1","volume-title":"CAV","author":"Ganesh V.","year":"2007","unstructured":"V. Ganesh and D. L. Dill . A Decision Procedure for Bit-Vectors and Arrays . In CAV , 2007 . V. Ganesh and D. L. Dill. A Decision Procedure for Bit-Vectors and Arrays. In CAV, 2007."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_16_1","volume-title":"NDSS","author":"Godefroid P.","year":"2008","unstructured":"P. Godefroid , M. Y. Levin , and D. A. Molnar . Automated Whitebox Fuzz Testing . In NDSS , 2008 . P. Godefroid, M. Y. Levin, and D. A. Molnar. Automated Whitebox Fuzz Testing. In NDSS, 2008."},{"key":"e_1_3_2_1_17_1","volume-title":"NSDI","author":"Kazemian P.","year":"2012","unstructured":"P. Kazemian , G. Varghese , and N. McKeown . Header Space Analysis: Static Checking for Networks . In NSDI , 2012 . P. Kazemian, G. Varghese, and N. McKeown. Header Space Analysis: Static Checking for Networks. In NSDI, 2012."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808444"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018440"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28537-0_9"},{"key":"e_1_3_2_1_23_1","volume-title":"USENIX ATC","author":"Wundsam A.","year":"2011","unstructured":"A. Wundsam , D. Levin , S. Seetharaman , and A. Feldmann . OFRewind: Enabling Record and Replay Troubleshooting for Networks . In USENIX ATC , 2011 . A. Wundsam, D. Levin, S. Seetharaman, and A. Feldmann. OFRewind: Enabling Record and Replay Troubleshooting for Networks. In USENIX ATC, 2011."},{"key":"e_1_3_2_1_24_1","volume-title":"NSDI","author":"Yang J.","year":"2009","unstructured":"J. Yang , T. Chen , M. Wu , Z. Xu , X. Liu , H. Lin , M. Yang , F. Long , L. Zhang , and L. Zhou . MODIST: Transparent Model Checking of Unmodified Distributed Systems . In NSDI , 2009 . J. Yang, T. Chen, M. Wu, Z. Xu, X. Liu, H. Lin, M. Yang, F. Long, L. Zhang, and L. Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI, 2009."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"}],"event":{"name":"CoNEXT '12: Conference on emerging Networking Experiments and Technologies","location":"Nice France","acronym":"CoNEXT '12","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 8th international conference on Emerging networking experiments and technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2413176.2413207","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2413176.2413207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:27Z","timestamp":1750234707000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2413176.2413207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,10]]},"references-count":25,"alternative-id":["10.1145\/2413176.2413207","10.1145\/2413176"],"URL":"https:\/\/doi.org\/10.1145\/2413176.2413207","relation":{},"subject":[],"published":{"date-parts":[[2012,12,10]]},"assertion":[{"value":"2012-12-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}