{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:20:59Z","timestamp":1784676059345,"version":"3.55.0"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"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.1109\/idaacs.2019.8924314","type":"proceedings-article","created":{"date-parts":[[2019,12,6]],"date-time":"2019-12-06T09:02:51Z","timestamp":1575622971000},"page":"724-729","source":"Crossref","is-referenced-by-count":5,"title":["Hierachical Model of Behavior On-line Testing for Distributed Information Systems"],"prefix":"10.1109","author":[{"given":"Oleksandr","family":"Martynyuk","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oleksandr","family":"Drozd","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ahmesh","family":"Tamim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bui","family":"Van Thuong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anatoliy","family":"Sachenko","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Halyna","family":"Mykhailova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mykhaylo","family":"Dombrovskyi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","first-page":"498","article-title":"The control technology of integrity and legitimacy of LUT-oriented information object usage by self-recovering digital watermark","volume":"1356","author":"zashcholkin","year":"0","journal-title":"CEUR Workshop Proceedings"},{"key":"ref38","first-page":"654","article-title":"Improving of a circuit checkability and trustworthiness of data processing results in LUT-based FPGA components of safety-related systems","volume":"1844","author":"drozd","year":"0","journal-title":"CEUR Workshop Proceedings"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2377816.2377817"},{"key":"ref32","first-page":"250","article-title":"A Field Guide to Genetic Programming","author":"poli","year":"2008","journal-title":"Creative Commons Attribution-NoncommercialNo Derivative Works"},{"key":"ref31","first-page":"994","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref30","first-page":"1095","author":"stuart j","year":"2010","journal-title":"Artificial Intelligence A Modern Approach"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.5121\/ijcses.2016.7203"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00190-2"},{"key":"ref35","first-page":"476","article-title":"Features of hidden fault detection in pipeline components of safety-related system","volume":"1356","author":"drozd","year":"0","journal-title":"CEUR Workshop Proceedings"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.5120\/ijca2016911703"},{"key":"ref10","first-page":"533","article-title":"An efficient coverage driven functional verification system based on genetic algorithm","volume":"81","author":"subedha","year":"2012","journal-title":"European Journal of Scientific Research"},{"key":"ref40","first-page":"1","article-title":"Automation of ATE test program execution in offline and online","author":"ruban","year":"0","journal-title":"Proceedings of the 2017 19th IEEE International Conference on Electronics Packaging Technology Conference (EPTC)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/492737"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-60566-750-8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1177\/0037549715590594"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1098\/rstb.2017.0381"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1504\/IJSETA.2015.075602"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_13"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"72","DOI":"10.47839\/ijc.15.2.840","article-title":"Parallelism and complexity of a small-world network model","volume":"15","author":"hiromoto","year":"2016","journal-title":"International Journal of Computing"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-010-0058-z"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2017.8095215"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2017.8095202"},{"key":"ref27","first-page":"89","author":"grindal","year":"2007","journal-title":"Handling Combinatorial Explosion in Software Testing"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-54825-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.17485\/ijst\/2015\/v8i15\/55793"},{"key":"ref29","author":"kramer","year":"2016","journal-title":"Model-Based Testing Essentials - Guide to the ISTQB® Certified Model-Based Tester - Foundation Level"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00253-4_15"},{"key":"ref8","article-title":"NeCS-INRIA and Alexandre Seuret NeCS-CNRS, State of the art in control\/computing co-design","author":"simon","year":"2010","journal-title":"The Joint Laboratory for Petascale Computing"},{"key":"ref7","first-page":"139","article-title":"Reliability leadership","author":"olwell","year":"2011","journal-title":"2001 IEEE Reliability and Maintainability Symposium Proceedings"},{"key":"ref2","first-page":"1067","author":"coulouris","year":"2011","journal-title":"Distributed Systems Concepts and Design"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-005-1139-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-016-0508-7"},{"key":"ref20","year":"2010"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-60566-750-8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3384\/diss.diva-98107"},{"key":"ref42","first-page":"1","article-title":"Network architecture for 5G mobile technology","author":"dashm","year":"2015","journal-title":"International Journal of Engineering Research & Technology (IJERT)"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"927","DOI":"10.1007\/s00607-018-0591-z","article-title":"A program slicing-based method for effective detection of coincidentally correct test cases","volume":"100","author":"feyzi","year":"2018","journal-title":"Computing"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"226","DOI":"10.47839\/ijc.16.4.911","article-title":"Dependable Internet of Things for networked cars","volume":"16","author":"gro\u00dfwindhager","year":"2017","journal-title":"International Journal of Computing"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41135-4_2"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2327020"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1942788.1868298"}],"event":{"name":"2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)","location":"Metz, France","start":{"date-parts":[[2019,9,18]]},"end":{"date-parts":[[2019,9,21]]}},"container-title":["2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8908800\/8924228\/08924314.pdf?arnumber=8924314","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,7]],"date-time":"2022-10-07T21:12:51Z","timestamp":1665177171000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8924314\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/idaacs.2019.8924314","relation":{},"subject":[],"published":{"date-parts":[[2019,9]]}}}