{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:06:45Z","timestamp":1730221605624,"version":"3.28.0"},"reference-count":48,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,10]],"date-time":"2021-09-10T00:00:00Z","timestamp":1631232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,10]],"date-time":"2021-09-10T00:00:00Z","timestamp":1631232000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,10]],"date-time":"2021-09-10T00:00:00Z","timestamp":1631232000000},"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":[[2021,9,10]]},"DOI":"10.1109\/ewdts52692.2021.9581025","type":"proceedings-article","created":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T21:13:28Z","timestamp":1635282808000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["Model of Multiagent Cooperation for Behavioral Testing"],"prefix":"10.1109","author":[{"given":"Oleksandr","family":"Martynyuk","sequence":"first","affiliation":[]},{"given":"Oleksandr","family":"Drozd","sequence":"additional","affiliation":[]},{"given":"Hanna","family":"Stepova","sequence":"additional","affiliation":[]},{"given":"Bui Van","family":"Thuong","sequence":"additional","affiliation":[]},{"given":"Dmitry","family":"Martynyuk","sequence":"additional","affiliation":[]},{"given":"Lyudmila","family":"Sugak","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2017.54"},{"key":"ref38","first-page":"30","article-title":"Development of Checkability in FPGA Components of Safety-Related Systems","volume":"2762","author":"drozd","year":"2020","journal-title":"CEUR Workshop Proceedings"},{"key":"ref33","article-title":"A new single stuck fault detection algorithm for digital circuits","volume":"3","author":"ahmed","year":"2015","journal-title":"International Journal of Engineering Research and General Science"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2014.6818747"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22577-2_31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2010.2075945"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2014.7027064"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2013.6662656"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1109\/DATE.2001.915042","article-title":"Efficient on-line testing method for floating-point adder","author":"drozd","year":"2001","journal-title":"Design Automation and Test in Europe Conference and Exhibition 2001 (DATE 2001)"},{"key":"ref34","first-page":"235","article-title":"Boolean Difference and Applications in Testing Logic Networks","year":"2006","journal-title":"Fundamentals of Logic Design and Switching Theory"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICIEAM.2016.7911431"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/DESSERT50317.2020.9125050"},{"key":"ref11","first-page":"242","article-title":"Testing of relay-contact circuits of railway signalling and interlocking","author":"efanov","year":"2017","journal-title":"Proc of IEEE EWDTS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/VACE.2017.5"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5120\/8828-2930","article-title":"Computer-based Test Software System: A Review and New Features","volume":"55","author":"bajeh","year":"2012","journal-title":"International Journal of Computer Applications"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-010-0058-z"},{"key":"ref15","article-title":"An Approach to Perform Automated Functional Testing in Database-Driven Applications","author":"castro","year":"2014","journal-title":"CIBSE 2014 Proceedings of the 17th Ibero-American Conference Software Engineering"},{"journal-title":"NP and mathematics – a computational complexity perspective","year":"2021","author":"wigderson","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2594413.2594424"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1557\/mrs.2020.192"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94764-8_16"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2014.7027107"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.26483\/ijarcs.v9i2.5760"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23850-0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2018.8459933"},{"key":"ref5","first-page":"95","article-title":"A Survey of Informatization and Privacy in the Digital Age and Basic Principles of the New Regulation","volume":"11","author":"romansky","year":"2019","journal-title":"International Journal on IT and Security"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.15587\/1729-4061.2019.154074"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/STC-CSIT.2018.8526730"},{"key":"ref2","first-page":"513","author":"shoham","year":"2009","journal-title":"Multiagent Systems Algorithmic Game-Theoretic and Logical Foundations"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2013.02.006"},{"key":"ref1","first-page":"947","author":"dordal","year":"2021","journal-title":"An Introduction to Computer Networks Release 2 0 5"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2019.8924314"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39929-2_3"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2017.8095215"},{"key":"ref48","first-page":"110","article-title":"Behavioral Agent Testing of Distributed Information Systems","author":"martynyuk","year":"2020","journal-title":"Proceedings of the 2nd International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2020)"},{"key":"ref22","first-page":"176","volume":"9705","author":"kisielewicz","year":"2016","journal-title":"Experiments with Synchronizing Automata"},{"key":"ref47","doi-asserted-by":"crossref","DOI":"10.1007\/s10458-020-09492-5","article-title":"Real-time multi-agent systems: rationality, formal model, and empirical results","volume":"35","author":"calvaresi","year":"2021","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"ref21","first-page":"125","article-title":"Specifying and Generating Test Cases Using Observer Automata","volume":"3395","author":"johan","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2010.5742041"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21834-7_10"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.5121\/vlsic.2011.2406"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05031-2_3"},{"key":"ref44","first-page":"133","author":"dugonik","year":"2000","journal-title":"An efficient algorithm for digital circuits testing"},{"key":"ref26","article-title":"Extended Temporal Logic Revisited","volume":"2154","author":"kupferman","year":"2002","journal-title":"LNCS"},{"key":"ref43","doi-asserted-by":"crossref","DOI":"10.1088\/1742-6596\/1804\/1\/012063","article-title":"Development of multip computer-based testing system using open source programing model Development of multiple computer-based testing system using open source programing model","volume":"1804","author":"mohammad","year":"2021","journal-title":"Journal of Physics Conference Series"},{"journal-title":"Process algebra for dynamic system modeling","year":"2008","author":"baeten","key":"ref25"}],"event":{"name":"2021 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2021,9,10]]},"location":"Batumi, Georgia","end":{"date-parts":[[2021,9,13]]}},"container-title":["2021 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9580973\/9580974\/09581025.pdf?arnumber=9581025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:57Z","timestamp":1652201757000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9581025\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,10]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/ewdts52692.2021.9581025","relation":{},"subject":[],"published":{"date-parts":[[2021,9,10]]}}}