{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:34:08Z","timestamp":1771043648712,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100010668","name":"H2020 Leadership in Enabling and Industrial Technologies","doi-asserted-by":"publisher","award":["856716"],"award-info":[{"award-number":["856716"]}],"id":[{"id":"10.13039\/100010668","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3548659.3561309","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:08:05Z","timestamp":1668024485000},"page":"45-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["An online agent-based search approach in automated computer game testing with model construction"],"prefix":"10.1145","author":[{"given":"Samira","family":"Shirzadehhajimahmood","sequence":"first","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I. S. W. B.","family":"Prasetya","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[{"name":"Ume\u00e5 University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehdi","family":"Dastani","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCE49384.2020.9179238"},{"key":"e_1_3_2_1_2_1","volume-title":"Specification of software systems","author":"Alagar VS","unstructured":"VS Alagar and K Periyasamy . 2011. Extended finite state machine . In Specification of software systems . Springer , 105\u2013128. VS Alagar and K Periyasamy. 2011. Extended finite state machine. In Specification of software systems. Springer, 105\u2013128."},{"key":"e_1_3_2_1_3_1","article-title":"Automated Video Game Testing Using Synthetic and Human-Like Agents","author":"Ariyurek Sinan","year":"2019","unstructured":"Sinan Ariyurek , Aysu Betin-Can , and Elif Surer . 2019 . Automated Video Game Testing Using Synthetic and Human-Like Agents . IEEE Transactions on Games. Sinan Ariyurek, Aysu Betin-Can, and Elif Surer. 2019. Automated Video Game Testing Using Synthetic and Human-Like Agents. IEEE Transactions on Games.","journal-title":"IEEE Transactions on Games."},{"key":"e_1_3_2_1_4_1","unstructured":"Igor Borovikov Jesse Harder Michael Sadovsky and Ahmad Beirami. 2019. Towards interactive training of non-player characters in video games. arXiv preprint arXiv:1906.00535. \t\t\t\t  Igor Borovikov Jesse Harder Michael Sadovsky and Ahmad Beirami. 2019. Towards interactive training of non-player characters in video games. arXiv preprint arXiv:1906.00535."},{"key":"e_1_3_2_1_5_1","volume-title":"Search-Based Automated Play Testing of Computer Games: A Model-Based Approach. In International Symposium on Search Based Software Engineering. 56\u201371","author":"Ferdous Raihana","year":"2021","unstructured":"Raihana Ferdous , Fitsum Kifetew , Davide Prandi , ISWB Prasetya , Samira Shirzadehhajimahmood , and Angelo Susi . 2021 . Search-Based Automated Play Testing of Computer Games: A Model-Based Approach. In International Symposium on Search Based Software Engineering. 56\u201371 . Raihana Ferdous, Fitsum Kifetew, Davide Prandi, ISWB Prasetya, Samira Shirzadehhajimahmood, and Angelo Susi. 2021. Search-Based Automated Play Testing of Computer Games: A Model-Based Approach. In International Symposium on Search Based Software Engineering. 56\u201371."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30446-1_14"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-016-0457-5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TG.2018.2808198"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338274"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_13_1","volume-title":"Artificial intelligence for games","author":"Millington Ian","unstructured":"Ian Millington and John Funge . 2019. Artificial intelligence for games , 3 rd edition. CRC Press . Ian Millington and John Funge. 2019. Artificial intelligence for games, 3rd edition. CRC Press.","edition":"3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2019.8848057"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.7603\/s40601-013-0010-4"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00518-2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3130859.3131439"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412452.3423570"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-66534-0_2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3472672.3473952"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v14i1.13034"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290607.3313039"},{"key":"e_1_3_2_1_23_1","volume-title":"A taxonomy of model-based testing approaches. Software testing, verification and reliability, 22, 5","author":"Utting Mark","year":"2012","unstructured":"Mark Utting , Alexander Pretschner , and Bruno Legeard . 2012. A taxonomy of model-based testing approaches. Software testing, verification and reliability, 22, 5 ( 2012 ), 297\u2013312. Mark Utting, Alexander Pretschner, and Bruno Legeard. 2012. A taxonomy of model-based testing approaches. Software testing, verification and reliability, 22, 5 (2012), 297\u2013312."},{"key":"e_1_3_2_1_24_1","volume-title":"Introduction to evolutionary algorithms","author":"Yu Xinjie","unstructured":"Xinjie Yu and Mitsuo Gen . 2010. Introduction to evolutionary algorithms . Springer Science & Business Media . Xinjie Yu and Mitsuo Gen. 2010. Introduction to evolutionary algorithms. Springer Science & Business Media."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.17770\/etr2019vol2.4158"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TG.2020.2990865"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00077"}],"event":{"name":"A-TEST '22: 13th International Workshop on Automating Test Case Design, Selection and Evaluation","location":"Singapore Singapore","acronym":"A-TEST '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548659.3561309","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548659.3561309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:39Z","timestamp":1750183839000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548659.3561309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":27,"alternative-id":["10.1145\/3548659.3561309","10.1145\/3548659"],"URL":"https:\/\/doi.org\/10.1145\/3548659.3561309","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}