{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T20:26:15Z","timestamp":1760300775696},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"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,6,27]]},"DOI":"10.1109\/netsoft54395.2022.9844054","type":"proceedings-article","created":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T15:34:09Z","timestamp":1659540849000},"page":"61-66","source":"Crossref","is-referenced-by-count":4,"title":["Improving Intent Correctness with Automated Testing"],"prefix":"10.1109","author":[{"given":"Paul","family":"Alcock","sequence":"first","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":"Will","family":"Fantom","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.1109\/NetSoft51509.2021.9492554"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS54207.2022.9789909"},{"key":"ref12","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","author":"prabhu","year":"0"},{"key":"ref13","first-page":"13","article-title":"Real Time Network Policy Checking using Header Space Analysis","author":"kazemian","year":"0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3341216.3342207"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/NetSoft48620.2020.9165375"},{"key":"ref16","article-title":"Intent-based networking - concepts and definitions","author":"clemm","year":"2021","journal-title":"Working Draft IETF Secretariat Internet-Draft draft-irtf-nmrg-ibn-concepts-definitions-06"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3457175.3457177"},{"key":"ref18","first-page":"699","article-title":"Verifying reachability in networks with mutable datapaths","author":"panda","year":"2017","journal-title":"NSDI’17"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018440"},{"journal-title":"ETSI","year":"0","key":"ref4"},{"key":"ref3","first-page":"625","article-title":"Hey, lumi! using natural language for Intent-Based network management","author":"jacobs","year":"2021","journal-title":"USENIX ATC 21 USENIX Association"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262170055.003.0001"},{"journal-title":"Agile Business Operations & Connected Digital Ecosystems","year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C53483.2021.00028"},{"key":"ref7","first-page":"459","article-title":"On causal and anticausal learning","author":"sch\u00f6lkopf","year":"2012","journal-title":"ICML’12"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3143361.3143380"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2829988.2787506"},{"year":"0","key":"ref9","article-title":"OpenConfig"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"year":"2021","key":"ref22","article-title":"DynaMIPS (cisco router emulator)"},{"year":"0","key":"ref21","article-title":"Next Generation Converged Digital Infrastructure"}],"event":{"name":"2022 IEEE 8th International Conference on Network Softwarization (NetSoft)","start":{"date-parts":[[2022,6,27]]},"location":"Milan, Italy","end":{"date-parts":[[2022,7,1]]}},"container-title":["2022 IEEE 8th International Conference on Network Softwarization (NetSoft)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9844017\/9844019\/09844054.pdf?arnumber=9844054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T16:02:17Z","timestamp":1661184137000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9844054\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,27]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/netsoft54395.2022.9844054","relation":{},"subject":[],"published":{"date-parts":[[2022,6,27]]}}}