{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:22Z","timestamp":1750220062856,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,4,12]],"date-time":"2023-04-12T00:00:00Z","timestamp":1681257600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,4,12]]},"DOI":"10.1145\/3582437.3582447","type":"proceedings-article","created":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T04:13:33Z","timestamp":1681186413000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated Testing in Super Metroid with Abstraction-Guided Exploration"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4735-010X","authenticated-orcid":false,"given":"Ross","family":"Mawhorter","sequence":"first","affiliation":[{"name":"University of California Santa Cruz, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4519-8423","authenticated-orcid":false,"given":"Adam","family":"Smith","sequence":"additional","affiliation":[{"name":"University of California Santa Cruz, United States"}]}],"member":"320","published-online":{"date-parts":[[2023,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Deep Reinforcement Learning for Navigation in AAA Video Games. CoRR abs\/2011.04764","author":"Alonso Eloi","year":"2020","unstructured":"[1] Eloi Alonso, Maxim Peter, David Goumard, and Joshua Romoff. 2020. Deep Reinforcement Learning for Navigation in AAA Video Games. CoRR abs\/2011.04764 (2020). arXiv:2011.04764https:\/\/arxiv.org\/abs\/2011.04764"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"[2] Greg Brockman Vicki Cheung Ludwig Pettersson Jonas Schneider John Schulman Jie Tang and Wojciech Zaremba. 2016. OpenAI Gym. https:\/\/doi.org\/10.48550\/ARXIV.1606.01540","DOI":"10.48550\/ARXIV.1606.01540"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2012.2186810"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2019.8848091"},{"key":"e_1_3_2_1_5_1","volume-title":"Handbook of Model Checking","author":"Clarke M.","unstructured":"[5] Edmund\u00a0M. Clarke, Thomas\u00a0A. Henzinger, Helmut Veith, and Roderick Bloem. 2018. Handbook of Model Checking (1st ed.). Springer Publishing Company, Incorporated. Section 13.1, p.385.","edition":"1"},{"key":"e_1_3_2_1_6_1","volume-title":"Conducting In-house Play Testing. Gamasutra (7","author":"Collins Jeanne","year":"1997","unstructured":"[6] Jeanne Collins. 1997. Conducting In-house Play Testing. Gamasutra (7 July 1997). https:\/\/www.gamasutra.com\/view\/feature\/3211\/conducting_inhouse_play_testing.php"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2016.2520256"},{"key":"e_1_3_2_1_8_1","first-page":"125","article-title":"A*-based pathfinding in modern computer games","volume":"11","author":"Cui Xiao","year":"2011","unstructured":"[8] Xiao Cui and Hao Shi. 2011. A*-based pathfinding in modern computer games. International Journal of Computer Science and Network Security 11, 1 (2011), 125\u2013130.","journal-title":"International Journal of Computer Science and Network Security"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"[9] Michael Dann Fabio Zambetta and John Thangarajah. 2017. Real-Time Navigation in Classical Platform Games via Skill Reuse.. In IJCAI. 1582\u20131588.","DOI":"10.24963\/ijcai.2017\/219"},{"key":"e_1_3_2_1_10_1","volume-title":"Go-Explore: a New Approach for Hard-Exploration Problems. CoRR abs\/1901.10995","author":"Ecoffet Adrien","year":"2019","unstructured":"[10] Adrien Ecoffet, Joost Huizinga, Joel Lehman, Kenneth\u00a0O. Stanley, and Jeff Clune. 2019. Go-Explore: a New Approach for Hard-Exploration Problems. CoRR abs\/1901.10995 (2019). arXiv:1901.10995http:\/\/arxiv.org\/abs\/1901.10995"},{"volume-title":"Game design workshop: a playcentric approach to creating innovative games","author":"Fullerton Tracy","key":"e_1_3_2_1_11_1","unstructured":"[11] Tracy Fullerton. 2014. Game design workshop: a playcentric approach to creating innovative games. CRC press."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoG52621.2021.9619142"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"[13] Matthew Guzdial Boyang Li and Mark\u00a0O Riedl. 2017. Game Engine Learning from Video.. In IJCAI. 3707\u20133713.","DOI":"10.24963\/ijcai.2017\/518"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","unstructured":"[14] David Ha and J\u00fcrgen Schmidhuber. 2018. World Models. (2018). https:\/\/doi.org\/10.5281\/ZENODO.1207631","DOI":"10.5281\/ZENODO.1207631"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TG.2018.2808198"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TG.2018.2808198"},{"volume-title":"Proceedings of the First International Joint Conference of DiGRA and FDG","author":"Mateas Michael Summerville\u00a0Adam","key":"e_1_3_2_1_17_1","unstructured":"[17] Summerville\u00a0Adam J. and Mateas Michael. 2016. Super Mario as a String: Platformer Level Generation Via LSTMs. In Proceedings of the First International Joint Conference of DiGRA and FDG. Digital Games Research Association and Society for the Advancement of the Science of Digital Games, Dundee, Scotland. http:\/\/www.digra.org\/wp-content\/uploads\/digital-library\/paper_129.pdf"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598392"},{"key":"e_1_3_2_1_19_1","unstructured":"[19] Robert Jaeger. 1984. Montezuma\u2019s Revenge. Parker Brothers. Atari 2600."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/3014629.3014635"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11871842_29"},{"key":"e_1_3_2_1_22_1","volume-title":"Softlock Detection for Super Metroid with Computation Tree Logic. In The 16th International Conference on the Foundations of Digital Games (FDG)","author":"Mawhorter Ross","year":"2021","unstructured":"[22] Ross Mawhorter and Adam Smith. 2021. Softlock Detection for Super Metroid with Computation Tree Logic. In The 16th International Conference on the Foundations of Digital Games (FDG) 2021. 1\u201310."},{"key":"e_1_3_2_1_23_1","unstructured":"[23] Shigeru Miyamoto. 1983. Super Mario Bros. Nintendo. Nintendo Entertainment System."},{"key":"e_1_3_2_1_24_1","unstructured":"[24] Yoshio Sakamoto. 1994. Super Metroid. Nintendo. Super Nintendo Entertainment System."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2013.6633610"},{"key":"e_1_3_2_1_26_1","volume-title":"Julian Schrittwieser, Ioannis Antonoglou","author":"Silver David","year":"2016","unstructured":"[26] David Silver, Aja Huang, Chris\u00a0J Maddison, Arthur Guez, Laurent Sifre, George Van Den\u00a0Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, 2016. Mastering the game of Go with deep neural networks and tree search. nature 529, 7587 (2016), 484\u2013489."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITW.2010.5593368"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3472538.3472602"},{"key":"e_1_3_2_1_29_1","volume-title":"The 2009 Mario AI Competition. In IEEE Congress on Evolutionary Computation. IEEE.","author":"Togelius Julian","year":"2010","unstructured":"[29] Julian Togelius, Sergey Karakovskiy, and Robin Baumgarten. 2010. The 2009 Mario AI Competition. In IEEE Congress on Evolutionary Computation. IEEE."},{"key":"e_1_3_2_1_30_1","volume-title":"Precomputing Player Movement in Platformers for Level Generation with Reachability Constraints. Experimental AI in Games (Oct","author":"Vivian\u00a0Lee Nathan\u00a0Partlan","year":"2020","unstructured":"[30] Nathan\u00a0Partlan Vivian\u00a0Lee and Seth Cooper. 2020. Precomputing Player Movement in Platformers for Level Generation with Reachability Constraints. Experimental AI in Games (Oct. 2020). http:\/\/www.exag.org\/papers\/EXAG_2020_paper_13.pdf"},{"key":"e_1_3_2_1_31_1","volume-title":"Taking the Scenic Route: Automatic Exploration for Videogames. CoRR abs\/1812.03125","author":"Zhan Zeping","year":"2018","unstructured":"[31] Zeping Zhan, Batu Aytemiz, and Adam\u00a0M. Smith. 2018. Taking the Scenic Route: Automatic Exploration for Videogames. CoRR abs\/1812.03125 (2018). arxiv:1812.03125http:\/\/arxiv.org\/abs\/1812.03125"}],"event":{"name":"FDG 2023: Foundations of Digital Games 2023","acronym":"FDG 2023","location":"Lisbon Portugal"},"container-title":["Proceedings of the 18th International Conference on the Foundations of Digital Games"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3582437.3582447","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3582437.3582447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:48Z","timestamp":1750183728000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3582437.3582447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,12]]},"references-count":31,"alternative-id":["10.1145\/3582437.3582447","10.1145\/3582437"],"URL":"https:\/\/doi.org\/10.1145\/3582437.3582447","relation":{},"subject":[],"published":{"date-parts":[[2023,4,12]]},"assertion":[{"value":"2023-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}