{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:27:45Z","timestamp":1725755265731},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,4,25]]},"DOI":"10.1109\/noms54207.2022.9789909","type":"proceedings-article","created":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T17:21:22Z","timestamp":1654795282000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["A NEAT way to test-driven network management"],"prefix":"10.1109","author":[{"given":"Will","family":"Fantom","sequence":"first","affiliation":[{"name":"Lancaster University,School of Computing and Communications"}]},{"given":"Paul","family":"Alcock","sequence":"additional","affiliation":[{"name":"Lancaster University,School of Computing and Communications"}]},{"given":"Ben","family":"Simms","sequence":"additional","affiliation":[{"name":"Lancaster University,School of Computing and Communications"}]},{"given":"Charalampos","family":"Rotsos","sequence":"additional","affiliation":[{"name":"Lancaster University,School of Computing and Communications"}]},{"given":"Nicholas","family":"Race","sequence":"additional","affiliation":[{"name":"Lancaster University,School of Computing and Communications"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IFIPNetworking.2014.6857078"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CNSM.2015.7367387"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2018.8406267"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSE.2015.7250212"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2018.8459905"},{"year":"2021","key":"ref16","article-title":"Dynamips (cisco router emulator)"},{"year":"2021","key":"ref17","article-title":"expr"},{"key":"ref18","first-page":"459","article-title":"ClickOS and the art of network function virtualization","author":"martins","year":"2014","journal-title":"11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)"},{"key":"ref4","first-page":"699","article-title":"Verifying reachability in networks with mutable datapaths","author":"panda","year":"2017","journal-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594317"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN47374.2019.9039968"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN.2017.8169826"},{"year":"0","key":"ref8","article-title":"SG11: Signalling requirements, protocols, test specifications and combating counterfeit products"},{"year":"0","key":"ref7","article-title":"Testing and test control notation version 3 (TTCN-3)"},{"key":"ref2","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","author":"prabhu","year":"2020","journal-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2016.12.006"},{"year":"0","key":"ref9","article-title":"Future networks tested working group"}],"event":{"name":"NOMS 2022-2022 IEEE\/IFIP Network Operations and Management Symposium","start":{"date-parts":[[2022,4,25]]},"location":"Budapest, Hungary","end":{"date-parts":[[2022,4,29]]}},"container-title":["NOMS 2022-2022 IEEE\/IFIP Network Operations and Management Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9789703\/9789704\/09789909.pdf?arnumber=9789909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T16:10:10Z","timestamp":1656951010000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9789909\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,25]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/noms54207.2022.9789909","relation":{},"subject":[],"published":{"date-parts":[[2022,4,25]]}}}