{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:42:03Z","timestamp":1784342523125,"version":"3.55.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/noms.2014.6838225","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T19:03:46Z","timestamp":1406574226000},"page":"1-9","source":"Crossref","is-referenced-by-count":13,"title":["Towards test-driven software defined networking"],"prefix":"10.1109","author":[{"given":"David","family":"Lebrun","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefano","family":"Vissicchio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier","family":"Bonaventure","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","author":"aho","year":"1986","journal-title":"Compilers Principles Techniques and Tools"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342453"},{"key":"18","author":"hopcroft","year":"2001","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"16","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"NSDI"},{"key":"13","author":"lebrun","year":"0","journal-title":"TASTE - A Toolkit for Automated Sdn TEsting"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351266"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"12","author":"hazel","year":"0","journal-title":"PCRE - Perl compatible regular expressions"},{"key":"21","author":"oppenheimer","year":"2010","journal-title":"Top-Down Network Design"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2010.2089640"},{"key":"22","author":"sholomon","year":"2011","journal-title":"Enterprise Network Testing Testing Throughout the Network Lifecycle to Maximize Availability and Performance"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/2034574.2034812"},{"key":"24","article-title":"Composing software-defined networks","author":"monsanto","year":"2013","journal-title":"NSDI"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491187"},{"key":"26","year":"2008","journal-title":"What's behind network downtime?"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339690"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2011.110311.100109"},{"key":"29","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/TNET.2012.2203144","article-title":"Quantifying and verifying reachability for access controlled networks","volume":"21","author":"liu","year":"2013","journal-title":"IEEE\/ACM Trans Netw"},{"key":"3","author":"pezze","year":"2008","journal-title":"Software Testing and Analysis Process Principles and Techniques"},{"key":"2","article-title":"Requirements engineering: From craft to discipline","author":"van lamsweerde","year":"2008","journal-title":"SIGSOFT"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413187"},{"key":"1","author":"mccabe","year":"2010","journal-title":"Network Analysis Architecture and Design"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342359"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486022"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/EWSDN.2012.21"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342458"},{"key":"31","article-title":"A NICE way to test openflow applications","author":"canini","year":"2012","journal-title":"NSDI"},{"key":"4","article-title":"Network functions virtualisation - Introductory white paper","author":"chiosi","year":"2012","journal-title":"The SDN and Open-Flow World Congress"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413206"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1592681.1592683"}],"event":{"name":"NOMS 2014 - 2014 IEEE\/IFIP Network Operations and Management Symposium","location":"Krakow, Poland","start":{"date-parts":[[2014,5,5]]},"end":{"date-parts":[[2014,5,9]]}},"container-title":["2014 IEEE Network Operations and Management Symposium (NOMS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6828592\/6838210\/06838225.pdf?arnumber=6838225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T17:26:14Z","timestamp":1498152374000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6838225\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/noms.2014.6838225","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}