{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:17:40Z","timestamp":1740169060550,"version":"3.37.3"},"reference-count":48,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2017]]},"DOI":"10.1109\/access.2017.2714098","type":"journal-article","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T18:30:37Z","timestamp":1497033037000},"page":"11083-11099","source":"Crossref","is-referenced-by-count":0,"title":["A Multilayer Approach to Commercial Computer Networks Testing"],"prefix":"10.1109","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0670-3105","authenticated-orcid":false,"given":"Andrey A.","family":"Shchurov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radek","family":"Marik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Distributed Systems Principles and Paradigms","year":"2013","author":"tanenbaum","key":"ref39"},{"journal-title":"Computer Networks","year":"2011","author":"tanenbaum","key":"ref38"},{"journal-title":"Model-based testing","year":"2017","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84996-405-0"},{"year":"2010","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSAI.2012.6223564"},{"journal-title":"Graph Theory and Complex Networks An Introduction","year":"2010","author":"van steen","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2014.7055197"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.13052\/jicts2245-800X.332"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.14445\/22312803\/IJCTT-V26P103"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1093\/comnet\/cnu016"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/643120.643125"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.physrep.2014.07.001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.96.138701"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/b137241","author":"broy","year":"2005","journal-title":"Model-Based Testing of Reactive Systems Advanced Lectures"},{"key":"ref14","first-page":"31","article-title":"A survey on model-based testing approaches: A systematic review","author":"neto","year":"2007","journal-title":"Proc 1st ACM Int Workshop Empirical Assessment Softw Eng Lang Technol Conjunct 22nd IEEE\/ACM Int Conf Autom Softw Eng (ASE)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302640"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"journal-title":"Encyclopedia on Software Engineering","year":"2001","author":"marciniak","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.553698"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030644"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/35065725"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024651"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/S003614450342480"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1109\/ICSE.2003.1201203","article-title":"Data flow testing as model checking","author":"hong","year":"2003","journal-title":"Proc 25th Int Conf Softw Eng"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.74.47"},{"key":"ref8","first-page":"171","article-title":"A formal model for network-wide security analysis","author":"matou\u0161ek","year":"2008","journal-title":"Proc 15th Annu IEEE Int Conf Workshop Eng Comput Based Syst (ECBS)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"journal-title":"Top-Down Network Design","year":"2010","author":"oppenheimer","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.3.041022"},{"journal-title":"Network Analysis Architecture and Design","year":"2007","author":"mccabe","key":"ref1"},{"journal-title":"Troubleshooting and Maintaining Cisco IP Networks (TSHOOT) Foundation Learning Guide","year":"2014","author":"ranjbar","key":"ref46"},{"key":"ref20","first-page":"23","article-title":"An approach for test derivation from system architecture models applied to embedded systems","author":"din","year":"2009","journal-title":"Proc 2nd Workshop Model-Based Test Pract (MoTiP) Conjunct 5th Eur Conf Model-Driven Archit (ECMDA)"},{"journal-title":"Fault-Tolerant Computer System Design","year":"1996","author":"pradhan","key":"ref45"},{"journal-title":"Safeware System Safety and Computers","year":"1995","author":"leveson","key":"ref48"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/3-540-46852-8_30","article-title":"Generating tests from UML specifications","volume":"1723","author":"offutt","year":"1999","journal-title":"The Unified Modeling Language"},{"journal-title":"VMware VSphere","year":"2017","key":"ref47"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1201\/b11321-2"},{"year":"2011","key":"ref42"},{"key":"ref24","first-page":"487","author":"abbors","year":"2011","journal-title":"Applying Model-Based Testing in the Telecommunication Domain"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2005.18"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/347636.348872"},{"journal-title":"Computer Networking A Top-down Approach","year":"2012","author":"kurose","key":"ref44"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0040"},{"year":"0","key":"ref43"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.111.1"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/7859429\/07945259.pdf?arnumber=7945259","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T02:59:35Z","timestamp":1633921175000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7945259\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/access.2017.2714098","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2017]]}}}