{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T16:51:28Z","timestamp":1756572688998,"version":"3.41.2"},"reference-count":75,"publisher":"Wiley","issue":"14","license":[{"start":{"date-parts":[[2023,6,14]],"date-time":"2023-06-14T00:00:00Z","timestamp":1686700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Int J Communication"],"published-print":{"date-parts":[[2023,9,25]]},"abstract":"<jats:title>Summary<\/jats:title><jats:p>In today's era of fast\u2010growing network\u2010enabled devices combined, it increases the complexity of the network. This leads to the massive data packet transfer on the network via the data plane in a software\u2010defined networking environment. The programmable packet processing in a data plane may introduce indirect bugs that are hard to catch manually. To avoid catastrophic after\u2010effects, such programs need to be formally verified. Researchers have proposed various tools and techniques to verify the data plane program using the P4 language. Most of the researchers have used the concept of assertion and symbolic execution to provide P4 verification approaches. As symbolic execution does not scale up well, researchers have proposed different techniques, which include the use of constraints, slicing of the program, parallelization, data plane verification, program verification, and so on. The tools have experimented with different choices for compiler optimization. In this article, we perform a pervasive survey on various verification tools and techniques based on data plane programming using domain\u2010specific language like P4 from the inception of the concept. We have compared the packet processing tools developed as per the requirement of time with their ideology and the impact of change.<\/jats:p>","DOI":"10.1002\/dac.5554","type":"journal-article","created":{"date-parts":[[2023,6,15]],"date-time":"2023-06-15T01:10:09Z","timestamp":1686791409000},"update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Packet processing and data plane program verification: A survey with tools, techniques, and challenges"],"prefix":"10.1002","volume":"36","author":[{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0002-1597-5025","authenticated-orcid":false,"given":"Harishchandra A.","family":"Akarte","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Motilal Nehru National Institute of Technology Allahabad Allahabad India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dharmendra K.","family":"Yadav","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Motilal Nehru National Institute of Technology Allahabad Allahabad India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2023,6,14]]},"reference":[{"key":"e_1_2_8_2_1","unstructured":"Software defined networking (sdn) \u2010 architecture and role of openflow. Accessed January 27 2023.https:\/\/2.zoppoz.workers.dev:443\/https\/www.howtoforge.com\/tutorial\/software-defined-networking-sdn-architecture-and-role-of-openflow\/"},{"key":"e_1_2_8_3_1","unstructured":"Understanding the sdn architecture. Accessed January 19 2023.https:\/\/2.zoppoz.workers.dev:443\/https\/www.sdxcentral.com\/networking\/sdn\/definitions\/inside-sdn-architecture\/"},{"key":"e_1_2_8_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_2_8_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-017-9423-2"},{"key":"e_1_2_8_6_1","unstructured":"Etsi technologies for NFV. Accessed February 1 2023.https:\/\/2.zoppoz.workers.dev:443\/https\/www.etsi.org\/technologies\/nfv"},{"key":"e_1_2_8_7_1","unstructured":"Openstack. Accessed January 30 2023.https:\/\/2.zoppoz.workers.dev:443\/https\/www.openstack.org"},{"key":"e_1_2_8_8_1","unstructured":"Opendaylight. Accessed January 29 2023."},{"key":"e_1_2_8_9_1","unstructured":"What is openflow? definition and how it relates to sdn. Accessed January 25 2023.https:\/\/2.zoppoz.workers.dev:443\/https\/www.sdxcentral.com\/networking\/sdn\/definitions\/what-is-openflow\/"},{"key":"e_1_2_8_10_1","unstructured":"P4. Accessed January 29 2023.https:\/\/2.zoppoz.workers.dev:443\/https\/www.p4.org\/"},{"key":"e_1_2_8_11_1","unstructured":"Software\u2010defined networking (sdn) definition and the architecture. Accessed January 23 2023.https:\/\/2.zoppoz.workers.dev:443\/https\/www.opennetworking.org\/sdn-definition\/?nab=1"},{"key":"e_1_2_8_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_2_8_13_1","unstructured":"Netronome programming NFP with p4 and c. Accessed January 26 2023.https:\/\/2.zoppoz.workers.dev:443\/https\/www.netronome.com\/media\/redactor_files\/WP_Programming_with_P4_and_C.pdf"},{"key":"e_1_2_8_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3139645.3139648"},{"key":"e_1_2_8_15_1","doi-asserted-by":"crossref","unstructured":"LiP LuoY.P4gpu: Accelerate packet processing of a p4 program with a CPU\u2010GPU heterogeneous architecture. In: Proceedings of the 2016 Symposium on Architectures for Networking and Communications Systems ACM;2016:125\u2010126.","DOI":"10.1145\/2881025.2889480"},{"key":"e_1_2_8_16_1","doi-asserted-by":"crossref","unstructured":"ChoiS LongX ShahbazM BoothS KeepA MarshallJ KimC.Pvpp: A programmable vector packet processor. In: Proceedings of the Symposium on SDN Research ACM;2017:197\u2010198.","DOI":"10.1145\/3050220.3060609"},{"key":"e_1_2_8_17_1","doi-asserted-by":"crossref","unstructured":"V\u00f6r\u00f6sP Horp\u00e1csiD KitleiR Lesk\u00f3D TejfelM LakiS.t4p4s: A target\u2010independent compiler for protocolindependent packet processors. In: IEEE HPSR;2018:17\u201020.","DOI":"10.1109\/HPSR.2018.8850752"},{"key":"e_1_2_8_18_1","doi-asserted-by":"crossref","unstructured":"ShahbazM ChoiS PfaffB KimC FeamsterN McKeownN RexfordJ.Pisces: A programmable protocol\u2010independent software switch. In: Proceedings of the 2016 ACM Sigcomm Conference ACM;2016:525\u2010538.","DOI":"10.1145\/2934872.2934886"},{"key":"e_1_2_8_19_1","doi-asserted-by":"crossref","unstructured":"JindalD JoshiR LeongB.P4traffictool: Automated code generation for p4 traffic generators and analyzers. In: Proceedings of the 2019 ACM Symposium on SDN Research ACM;2019:152\u2010153.","DOI":"10.1145\/3314148.3318047"},{"key":"e_1_2_8_20_1","doi-asserted-by":"crossref","unstructured":"LiuJ HallahanW SchlesingerC et al.P4v: Practical verification for programmable data planes. In: Proceedings of the 2018 conference of the acm special interest group on data communication ACM;2018:490\u2010503.","DOI":"10.1145\/3230543.3230582"},{"key":"e_1_2_8_21_1","unstructured":"P4.ORG.Mukesh Hira lj Wobker 2015 improving network monitoring and management with programmable data planes.2015. Accessed January 15 2023.https:\/\/2.zoppoz.workers.dev:443\/https\/p4.org\/p4\/inband-network-telemetry\/"},{"key":"e_1_2_8_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_2_8_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_5"},{"key":"e_1_2_8_24_1","unstructured":"RenZ Al\u2010AsaadH.Overview of assertion\u2010based verification and its applications. In: Int'l Conf. Embedded Systems Cyber\u2010Physical Systems & Applications;2016."},{"key":"e_1_2_8_25_1","doi-asserted-by":"crossref","unstructured":"TaoY.An introduction to assertion\u2010based verification. In: 2009 IEEE 8th International Conference on ASIC IEEE;2009:1318\u20101323.","DOI":"10.1109\/ASICON.2009.5351246"},{"key":"e_1_2_8_26_1","doi-asserted-by":"crossref","unstructured":"FreireL NevesM LealL LevchenkoK Schaeffer\u2010FilhoA BarcellosM.Uncovering bugs in p4 programs with assertion\u2010based verification. In: Proceedings of the Symposium on SDN Research ACM;2018:4.","DOI":"10.1145\/3185467.3185499"},{"key":"e_1_2_8_27_1","unstructured":"KheradmandA RosuG.P4k: A formal semantics of p4 and applications. arXiv preprint arXiv:1804.01468;2018."},{"key":"e_1_2_8_28_1","doi-asserted-by":"crossref","unstructured":"N\u00f6tzliA KhanJ FingerhutA BarrettC AthanasP.P4pktgen: Automated test case generation for p4 programs. In: Proceedings of the Symposium on SDN Research ACM;2018:5.","DOI":"10.1145\/3185467.3185497"},{"key":"e_1_2_8_29_1","doi-asserted-by":"crossref","unstructured":"StoenescuR PopoviciM NegreanuL RaiciuC.Symnet: Scalable symbolic execution for modern networks. In: Proceedings of the 2016 ACM SIGCOMM Conference ACM;2016:314\u2010327.","DOI":"10.1145\/2934872.2934881"},{"key":"e_1_2_8_30_1","doi-asserted-by":"crossref","unstructured":"StoenescuR DumitrescuD PopoviciM NegreanuL RaiciuC.Debugging p4 programs with vera. In: Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication ACM;2018:518\u2010532.","DOI":"10.1145\/3230543.3230548"},{"key":"e_1_2_8_31_1","doi-asserted-by":"crossref","unstructured":"ShuklaA HudemannKN HeckerA SchmidS.Runtime verification of p4 switches with reinforcement learning. In: Proceedings of the 2019 Workshop on Network Meets AI & ML ACM;2019:1\u20107.","DOI":"10.1145\/3341216.3342206"},{"key":"e_1_2_8_32_1","doi-asserted-by":"crossref","unstructured":"BressanaP ZilbermanN Soul\u00e9R.A programmable framework for validating data planes. In: Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos ACM;2018:1\u20103.","DOI":"10.1145\/3234200.3234220"},{"key":"e_1_2_8_33_1","doi-asserted-by":"crossref","unstructured":"FreireL NevesM Schaeffer\u2010FilhoA BarcellosM.Poster: Finding vulnerabilities in p4 programs with assertion\u2010based verification. In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security;2017:2495\u20102497.","DOI":"10.1145\/3133956.3138837"},{"key":"e_1_2_8_34_1","doi-asserted-by":"crossref","unstructured":"SapioA AbdelazizI CaniniM KalnisP.Daiet: a system for data aggregation inside the network. In: Proceedings of the 2017 symposium on cloud computing ACM;2017:626.","DOI":"10.1145\/3127479.3132018"},{"key":"e_1_2_8_35_1","doi-asserted-by":"crossref","unstructured":"LuoS YuH VanbeverL.Swing state: Consistent updates for stateful and programmable data planes. In: Proceedings of the symposium on sdn research ACM;2017:115\u2010121.","DOI":"10.1145\/3050220.3050233"},{"key":"e_1_2_8_36_1","unstructured":"ZengH KazemianP VargheseG McKeownN.Formal network testing;2012."},{"key":"e_1_2_8_37_1","doi-asserted-by":"crossref","unstructured":"SivaramanA KimC KrishnamoorthyR DixitA BudiuM.Dc. p4: Programming the forwarding plane of a data\u2010center switch. In: Proceedings of the 1st acm sigcomm symposium on software defined networking research ACM;2015:2.","DOI":"10.1145\/2774993.2775007"},{"key":"e_1_2_8_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2018.2829882"},{"key":"e_1_2_8_39_1","doi-asserted-by":"crossref","unstructured":"ZhangC BiJ ZhouY DogarAB WuJ.Mpvisor: A modular programmable data plane hypervisor. In: Proceedings of the symposium on sdn research ACM;2017:179\u2010180.","DOI":"10.1145\/3050220.3060600"},{"key":"e_1_2_8_40_1","doi-asserted-by":"crossref","unstructured":"AbhashkumarA LeeJ TourrilhesJ BanerjeeS WuW KangJ\u2010M AkellaA.P5: Policy\u2010driven optimization of p4 pipeline. In: Proceedings of the symposium on sdn research ACM;2017:136\u2010142.","DOI":"10.1145\/3050220.3050235"},{"key":"e_1_2_8_41_1","doi-asserted-by":"crossref","unstructured":"EdwardsT CiarleglioN.Programmable data plane for professional media networking. In: Smpte 2017 annual technical conference and exhibition SMPTE;2017:1\u201015.","DOI":"10.5594\/M001765"},{"key":"e_1_2_8_42_1","doi-asserted-by":"crossref","unstructured":"HancockD Van der MerweJ.Hyper4: Using p4 to virtualize the programmable data plane. In: Proceedings of the 12th international on conference on emerging networking experiments and technologies ACM;2016:35\u201049.","DOI":"10.1145\/2999572.2999607"},{"key":"e_1_2_8_43_1","article-title":"In\u2010band network telemetry (int)","author":"Kim C","year":"2015","journal-title":"P4 consortium"},{"key":"e_1_2_8_44_1","doi-asserted-by":"crossref","unstructured":"KangM KangE\u2010Y HwangD\u2010Y KimB\u2010J NamK\u2010H ShinM\u2010K ChoiJ\u2010Y.Formal modeling and verification of SDN\u2010OpenFlow. In: 2013 ieee sixth international conference on software testing verification and validation IEEE;2013:481\u2010482.","DOI":"10.1109\/ICST.2013.69"},{"key":"e_1_2_8_45_1","unstructured":"TuW RuffyF BudiuM.Linux network programming with p4. In: Linux plumbers' conference 2018;2018."},{"key":"e_1_2_8_46_1","doi-asserted-by":"crossref","unstructured":"GhasemiM BensonT RexfordJ.Dapper: Data plane performance diagnosis of TCP. In: Proceedings of the symposium on sdn research ACM;2017:61\u201074.","DOI":"10.1145\/3050220.3050228"},{"key":"e_1_2_8_47_1","doi-asserted-by":"crossref","unstructured":"LakiS Horp\u00e1csiD V\u00f6r\u00f6sP KitleiR Lesk\u00f3D TejfelM.High speed packet forwarding compiled from protocol independent data plane specifications. In: Proceedings of the 2016 acm sigcomm conference ACM;2016:629\u2010630.","DOI":"10.1145\/2934872.2959080"},{"key":"e_1_2_8_48_1","doi-asserted-by":"crossref","unstructured":"ZhouY BiJ.Clickp4: Towards modular programming of p4. In: Proceedings of the sigcomm posters and demos ACM;2017:100\u2010102.","DOI":"10.1145\/3123878.3132000"},{"key":"e_1_2_8_49_1","doi-asserted-by":"crossref","unstructured":"NevesM FreireL Schaeffer\u2010FilhoA BarcellosM.Verification of p4 programs in feasible time using assertions. In: Proceedings of the 14th international conference on emerging networking experiments and technologies ACM;2018:73\u201085.","DOI":"10.1145\/3281411.3281421"},{"key":"e_1_2_8_50_1","doi-asserted-by":"crossref","unstructured":"MaZ BiJ ZhangC ZhouY DogarAB.Cachep4: A behavior\u2010level caching mechanism for p4. In: Proceedings of the sigcomm posters and demos ACM;2017:108\u2010110.","DOI":"10.1145\/3123878.3132003"},{"key":"e_1_2_8_51_1","doi-asserted-by":"crossref","unstructured":"BeckettR GiannarakisN LoherD WalkerD.Nv: An intermediate language for network verification. In: Proceedings of the acm sigcomm 2019 workshop on networking and programming languages ACM;2019:3\u20104.","DOI":"10.1145\/3341561.3349592"},{"key":"e_1_2_8_52_1","doi-asserted-by":"crossref","unstructured":"BifulcoR R\u00e9tv\u00e1riG.A survey on the programmable data plane: Abstractions architectures and open problems. In: Proc. IEEE HPSR;2018:1\u20107.","DOI":"10.1109\/HPSR.2018.8850761"},{"key":"e_1_2_8_53_1","doi-asserted-by":"crossref","unstructured":"ZhangY HanB ZhangZ\u2010L GopalakrishnanV.Network\u2010assisted raft consensus algorithm. In: Proceedings of the sigcomm posters and demos ACM;2017:94\u201096.","DOI":"10.1145\/3123878.3131998"},{"key":"e_1_2_8_54_1","unstructured":"FefermanDL RothenbergCE.Modeling p4 programmable devices using yang."},{"key":"e_1_2_8_55_1","doi-asserted-by":"crossref","unstructured":"HeM BlenkA KellererW SchmidS.Toward consistent state management of adaptive programmable networks based on p4. In: Proceedings of the acm sigcomm 2019 workshop on networking for emerging applications and technologies ACM;2019:29\u201035.","DOI":"10.1145\/3341558.3342202"},{"key":"e_1_2_8_56_1","doi-asserted-by":"crossref","unstructured":"FanC BiJ ZhouY ZhangC YuH.Ns4: A p4\u2010driven network simulator. In: Proceedings of the sigcomm posters and demos ACM;2017:105\u2010107.","DOI":"10.1145\/3123878.3132002"},{"key":"e_1_2_8_57_1","doi-asserted-by":"crossref","unstructured":"PatraPG RothenbergCE Pongr\u00e1czG.Macsad: Multi\u2010architecture compiler system for abstract data planes (aka partnering p4 with ODP). In: Proceedings of the 2016 acm sigcomm conference ACM;2016:623\u2010624.","DOI":"10.1145\/2934872.2959077"},{"key":"e_1_2_8_58_1","doi-asserted-by":"crossref","unstructured":"NevesM LevchenkoK BarcellosM.Sandboxing data plane programs for fun and profit. In: Proceedings of the sigcomm posters and demos ACM;2017:103\u2010104.","DOI":"10.1145\/3123878.3132001"},{"key":"e_1_2_8_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2868050"},{"key":"e_1_2_8_60_1","doi-asserted-by":"crossref","unstructured":"SangerR LuckieM NelsonR.Identifying equivalent sdn forwarding behaviour. In: Proceedings of the 2019 acm symposium on sdn research ACM;2019:127\u2010139.","DOI":"10.1145\/3314148.3314347"},{"key":"e_1_2_8_61_1","doi-asserted-by":"crossref","unstructured":"ChowdharyA HuangD AhnG\u2010J KangM KimA VelazquezA.Sdnsoc: Object oriented sdn framework. In: Proceedings of the acm international workshop on security in software defined networks & network function virtualization ACM;2019:7\u201012.","DOI":"10.1145\/3309194.3309196"},{"key":"e_1_2_8_62_1","doi-asserted-by":"crossref","unstructured":"ZhengP BensonT HuC.P4visor: Lightweight virtualization and composition primitives for building and testing modular programs. In: Proceedings of the 14th international conference on emerging networking experiments and technologies ACM;2018:98\u2010111.","DOI":"10.1145\/3281411.3281436"},{"key":"e_1_2_8_63_1","doi-asserted-by":"crossref","unstructured":"KangH ShinS YegneswaranV GhoshS PorrasP.Aegis: An automated permission generation and verification system for SDNs. In: Proceedings of the 2018 workshop on security in softwarized networks: Prospects and challenges ACM;2018:20\u201026.","DOI":"10.1145\/3229616.3229623"},{"key":"e_1_2_8_64_1","doi-asserted-by":"crossref","unstructured":"LeeJ MiaoR KimC YuM ZengH.Stateful layer\u20104 load balancing in switching asics. In: Proceedings of the sigcomm posters and demos ACM;2017:133\u2010135.","DOI":"10.1145\/3123878.3132012"},{"key":"e_1_2_8_65_1","doi-asserted-by":"crossref","unstructured":"IbanezS BrebnerG McKeownN ZilbermanN.The p4\u2010> NetFPGA workflow for line\u2010rate packet processing. In: Proceedings of the 2019 acm\/sigda international symposium on field\u2010programmable gate arrays ACM;2019:1\u20109.","DOI":"10.1145\/3289602.3293924"},{"key":"e_1_2_8_66_1","doi-asserted-by":"crossref","unstructured":"BaiJ BiJ KuangP FanC ZhouY ZhangC.Ns4: Enabling programmable data plane simulation. In: Proceedings of the symposium on sdn research ACM;2018:12.","DOI":"10.1145\/3185467.3185470"},{"key":"e_1_2_8_67_1","doi-asserted-by":"crossref","unstructured":"SivaramanA SubramanianS AgrawalA et al.Towards programmable packet scheduling. In: Proceedings of the 14th acm workshop on hot topics in networks ACM;2015:23.","DOI":"10.1145\/2834050.2834106"},{"key":"e_1_2_8_68_1","unstructured":"LopesN Bj\u00f8rnerN McKeownN RybalchenkoA TalaycoD VargheseG.Automatically verifying reachability and well\u2010formedness in p4 networks.Technical Report Tech. Rep;2016."},{"key":"e_1_2_8_69_1","unstructured":"StubbeH.P4 compiler & interpreter: A survey. In: Proc. future internet (fi) innov. internet technol. mobile commun.(i) Vol.\u00a047;2017:1\u201072."},{"key":"e_1_2_8_70_1","unstructured":"P4.ORG.P416 portable switch architecture (ps) \u2010 the p4.org architecture working group.2019. Accessed January 15 2023.https:\/\/2.zoppoz.workers.dev:443\/https\/p4.org\/p4-spec\/docs\/PSA.html"},{"key":"e_1_2_8_71_1","unstructured":"ZhuS BiJ SunC.{SFA}: Stateful forwarding abstraction in{SDN}data plane. In: Presented as part of the open networking summit 2014 ({ONS}2014);2014."},{"key":"e_1_2_8_72_1","unstructured":"LeeJ SchlesingerCN FosterJN WangH SouleR.Data plane program verification. US Patent App. 16\/022 601;2019."},{"key":"e_1_2_8_73_1","unstructured":"DumitrescuD StoenescuR PopoviciM NegreanuL RaiciuC.Dataplane equivalence and its applications. In: 16th{USENIX}symposium on networked systems design and implementation ({NSDI}19);2019:683\u2010698."},{"key":"e_1_2_8_74_1","doi-asserted-by":"crossref","unstructured":"SzalayM TokaL R\u00e9tv\u00e1riG Pongr\u00e1czG CsikorL PezarosDP.Harmless: Cost\u2010effective transitioning to sdn. In: Proceedings of the sigcomm posters and demos ACM;2017:91\u201093.","DOI":"10.1145\/3123878.3131997"},{"key":"e_1_2_8_75_1","doi-asserted-by":"crossref","DOI":"10.1002\/nem.2082","article-title":"Formal modeling and verification of software\u2010defined networks: A survey","author":"Shukla N","year":"2019","journal-title":"Int J Netw Manag"},{"key":"e_1_2_8_76_1","unstructured":"PontarelliS BifulcoR BonolaM et al.Flowblaze: Stateful packet processing in hardware.In: Nsdi;2019:531\u2010548."}],"container-title":["International Journal of Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/dac.5554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T08:36:47Z","timestamp":1729586207000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/onlinelibrary.wiley.com\/doi\/10.1002\/dac.5554"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,14]]},"references-count":75,"journal-issue":{"issue":"14","published-print":{"date-parts":[[2023,9,25]]}},"alternative-id":["10.1002\/dac.5554"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1002\/dac.5554","archive":["Portico"],"relation":{},"ISSN":["1074-5351","1099-1131"],"issn-type":[{"type":"print","value":"1074-5351"},{"type":"electronic","value":"1099-1131"}],"subject":[],"published":{"date-parts":[[2023,6,14]]},"assertion":[{"value":"2021-04-17","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-05-29","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}],"article-number":"e5554"}}