{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T17:17:56Z","timestamp":1755796676075,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,5]],"date-time":"2022-09-05T00:00:00Z","timestamp":1662336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,5]]},"DOI":"10.1145\/3555858.3555898","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T15:48:39Z","timestamp":1667576919000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Static Analysis for Automated Identification of Valid Game Actions During Exploration"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7496-0731","authenticated-orcid":false,"given":"Sasha","family":"Volokh","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Southern California, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4951-9367","authenticated-orcid":false,"given":"William G.J.","family":"Halfond","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Southern California, United States"}]}],"member":"320","published-online":{"date-parts":[[2022,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Video Game Automated Testing Approaches: An Assessment Framework","author":"Albaghajati Aghyad\u00a0Mohammad","year":"2020","unstructured":"Aghyad\u00a0Mohammad Albaghajati and Moataz Aly\u00a0Kamaleldin Ahmed . 2020. Video Game Automated Testing Approaches: An Assessment Framework . IEEE Transactions on Games( 2020 ). https:\/\/doi.org\/10.1109\/TG.2020.3032796 10.1109\/TG.2020.3032796 Aghyad\u00a0Mohammad Albaghajati and Moataz Aly\u00a0Kamaleldin Ahmed. 2020. Video Game Automated Testing Approaches: An Assessment Framework. IEEE Transactions on Games(2020). https:\/\/doi.org\/10.1109\/TG.2020.3032796"},{"key":"e_1_3_2_1_2_1","article-title":"Server-Side Verification of Client Behavior in Online Games","volume":"14","author":"Bethea Darrell","year":"2008","unstructured":"Darrell Bethea , Robert\u00a0 A. Cochran , and Michael\u00a0 K. Reiter . 2008 . Server-Side Verification of Client Behavior in Online Games . ACM Trans. Inf. Syst. Secur. 14 , 4, Article 32 (dec 2008), 27\u00a0pages. https:\/\/doi.org\/10.1145\/2043628.2043633 10.1145\/2043628.2043633 Darrell Bethea, Robert\u00a0A. Cochran, and Michael\u00a0K. Reiter. 2008. Server-Side Verification of Client Behavior in Online Games. ACM Trans. Inf. Syst. Secur. 14, 4, Article 32 (dec 2008), 27\u00a0pages. https:\/\/doi.org\/10.1145\/2043628.2043633","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"e_1_3_2_1_3_1","volume-title":"Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration. In 2019 IEEE Conference on Games (CoG). https:\/\/doi.org\/10","author":"Chang Kenneth","year":"2019","unstructured":"Kenneth Chang , Batu Aytemiz , and Adam\u00a0 M. Smith . 2019 . Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration. In 2019 IEEE Conference on Games (CoG). https:\/\/doi.org\/10 .1109\/CIG.2019.8848091 10.1109\/CIG.2019.8848091 Kenneth Chang, Batu Aytemiz, and Adam\u00a0M. Smith. 2019. Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration. In 2019 IEEE Conference on Games (CoG). https:\/\/doi.org\/10.1109\/CIG.2019.8848091"},{"key":"e_1_3_2_1_4_1","volume-title":"Scenario-Based Approach for Blackbox Load Testing of Online Game Servers. In 2010 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery. 259\u2013265","author":"Cho Chang-Sik","year":"2010","unstructured":"Chang-Sik Cho , Dong-Chun Lee , Kang-Min Sohn , Chang-Joon Park , and Ji-Hoon Kang . 2010 . Scenario-Based Approach for Blackbox Load Testing of Online Game Servers. In 2010 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery. 259\u2013265 . https:\/\/doi.org\/10.1109\/CyberC.2010.54 10.1109\/CyberC.2010.54 Chang-Sik Cho, Dong-Chun Lee, Kang-Min Sohn, Chang-Joon Park, and Ji-Hoon Kang. 2010. Scenario-Based Approach for Blackbox Load Testing of Online Game Servers. In 2010 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery. 259\u2013265. https:\/\/doi.org\/10.1109\/CyberC.2010.54"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509552"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcom.2016.08.002"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/3351736.3351787"},{"key":"e_1_3_2_1_10_1","volume-title":"Monster Carlo: An MCTS-based Framework for Machine Playtesting Unity Games. In 2018 IEEE Conference on Computational Intelligence and Games (CIG). https:\/\/doi.org\/10","author":"Keehl Oleksandra","year":"2018","unstructured":"Oleksandra Keehl and Adam\u00a0 M. Smith . 2018 . Monster Carlo: An MCTS-based Framework for Machine Playtesting Unity Games. In 2018 IEEE Conference on Computational Intelligence and Games (CIG). https:\/\/doi.org\/10 .1109\/CIG.2018.8490363 10.1109\/CIG.2018.8490363 Oleksandra Keehl and Adam\u00a0M. Smith. 2018. Monster Carlo: An MCTS-based Framework for Machine Playtesting Unity Games. In 2018 IEEE Conference on Computational Intelligence and Games (CIG). https:\/\/doi.org\/10.1109\/CIG.2018.8490363"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2019.8847989"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/3060832.3060973"},{"key":"e_1_3_2_1_13_1","unstructured":"John Levine Clare\u00a0Bates Congdon Marc Ebner Graham Kendall Simon\u00a0M. Lucas Risto Miikkulainen Tom Schaul and Tommy Thompson. 2013. General Video Game Playing. In Artificial and Computational Intelligence in Games. Dagstuhl Follow-Ups Vol.\u00a06. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik 77\u201383.  John Levine Clare\u00a0Bates Congdon Marc Ebner Graham Kendall Simon\u00a0M. Lucas Risto Miikkulainen Tom Schaul and Tommy Thompson. 2013. General Video Game Playing. In Artificial and Computational Intelligence in Games. Dagstuhl Follow-Ups Vol.\u00a06. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik 77\u201383."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2015.2402393"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3130859.3131439"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693143"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2013.6633610"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s40869-019-00087-z"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 2nd Workshop on Knowledge Extraction from Games co-located with 33rd AAAI Conference on Artificial Intelligence, KEG@AAAI 2019","author":"Zhan Zeping","year":"2019","unstructured":"Zeping Zhan , Batu Aytemiz , and Adam\u00a0 M. Smith . 2019 . Taking the Scenic Route: Automatic Exploration for Videogames . In Proceedings of the 2nd Workshop on Knowledge Extraction from Games co-located with 33rd AAAI Conference on Artificial Intelligence, KEG@AAAI 2019 , Honolulu, Hawaii, January 27th , 2019. Zeping Zhan, Batu Aytemiz, and Adam\u00a0M. Smith. 2019. Taking the Scenic Route: Automatic Exploration for Videogames. In Proceedings of the 2nd Workshop on Knowledge Extraction from Games co-located with 33rd AAAI Conference on Artificial Intelligence, KEG@AAAI 2019, Honolulu, Hawaii, January 27th, 2019."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3235765.3235786"},{"key":"e_1_3_2_1_21_1","volume-title":"Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 772\u2013784","author":"Zheng Yan","year":"2019","unstructured":"Yan Zheng , Xiaofei Xie , Ting Su , Lei Ma , Jianye Hao , Zhaopeng Meng , Yang Liu , Ruimin Shen , Yingfeng Chen , and Changjie Fan . 2019 . Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 772\u2013784 . https:\/\/doi.org\/10.1109\/ASE.2019.00077 10.1109\/ASE.2019.00077 Yan Zheng, Xiaofei Xie, Ting Su, Lei Ma, Jianye Hao, Zhaopeng Meng, Yang Liu, Ruimin Shen, Yingfeng Chen, and Changjie Fan. 2019. Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 772\u2013784. https:\/\/doi.org\/10.1109\/ASE.2019.00077"}],"event":{"name":"FDG22: 17th International Conference on the Foundations of Digital Games","acronym":"FDG22","location":"Athens Greece"},"container-title":["Proceedings of the 17th International Conference on the Foundations of Digital Games"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555858.3555898","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555858.3555898","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:40Z","timestamp":1750186960000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555858.3555898"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,5]]},"references-count":21,"alternative-id":["10.1145\/3555858.3555898","10.1145\/3555858"],"URL":"https:\/\/doi.org\/10.1145\/3555858.3555898","relation":{},"subject":[],"published":{"date-parts":[[2022,9,5]]},"assertion":[{"value":"2022-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}