{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T00:03:50Z","timestamp":1756771430477,"version":"3.44.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"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":[[2019,9]]},"DOI":"10.23919\/softcom.2019.8903846","type":"proceedings-article","created":{"date-parts":[[2019,11,25]],"date-time":"2019-11-25T14:21:37Z","timestamp":1574691697000},"page":"1-6","source":"Crossref","is-referenced-by-count":4,"title":["Deep and Automated SDN Data Plane Analysis"],"prefix":"10.23919","author":[{"given":"Wejdene","family":"Saied","sequence":"first","affiliation":[{"name":"University of Carthage,Digital Security Research Unit, (Sup'Com),Tunisia"}]},{"given":"Nihel Ben","family":"Youssef Ben Souayeh","sequence":"additional","affiliation":[{"name":"University of Carthage,Digital Security Research Unit, (Sup'Com),Tunisia"}]},{"given":"Amina","family":"Saadaoui","sequence":"additional","affiliation":[{"name":"University of Carthage,Digital Security Research Unit, (Sup'Com),Tunisia"}]},{"given":"Adel","family":"Bouhoula","sequence":"additional","affiliation":[{"name":"University of Carthage,Digital Security Research Unit, (Sup'Com),Tunisia"}]}],"member":"263","reference":[{"year":"2018","key":"ref10"},{"key":"ref11","article-title":"Flowchecker: Conguration analysis and verication of federated openow infrastructures","author":"al-shaer","year":"0","journal-title":"Proc ACM Workshop Assurable Usable Security Configuration"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999605"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594317"},{"key":"ref14","article-title":"A NICE way to test OpenFlow applications","author":"canini","year":"2012","journal-title":"USENIX NSDI"},{"key":"ref15","article-title":"Monocle: Dynamic, ne-grained data plane monitoring","author":"kuzniar","year":"2015","journal-title":"ACM CoNeXT"},{"key":"ref16","article-title":"OFRewind: Enabling record and replay troubleshooting for networks","author":"wundsam","year":"0","journal-title":"USENIX Annual Technical Conference"},{"key":"ref17","article-title":"Is every ow on the right track?: Inspect SDN forwarding with RuleScope","author":"bu","year":"2016","journal-title":"IEEE INFOCOM"},{"year":"0","key":"ref18"},{"key":"ref4","article-title":"I know what your packet did last hop: Using packet histories to troubleshoot networks","author":"handigol","year":"2014","journal-title":"USENIX NSDI"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342453"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620736"},{"key":"ref5","article-title":"Veriflow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"USENIX NSDI"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775066"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620756"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486019"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620742"}],"event":{"name":"2019 International Conference on Software, Telecommunications and Computer Networks (SoftCOM)","start":{"date-parts":[[2019,9,19]]},"location":"Split, Croatia","end":{"date-parts":[[2019,9,21]]}},"container-title":["2019 International Conference on Software, Telecommunications and Computer Networks (SoftCOM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8892589\/8903594\/08903846.pdf?arnumber=8903846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T19:19:02Z","timestamp":1756754342000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8903846\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.23919\/softcom.2019.8903846","relation":{},"subject":[],"published":{"date-parts":[[2019,9]]}}}