{"id":"https://openalex.org/W4313563656","doi":"https://doi.org/10.1145/3551349.3560505","title":"Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking","display_name":"Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking","publication_year":2022,"publication_date":"2022-10-10","ids":{"openalex":"https://openalex.org/W4313563656","doi":"https://doi.org/10.1145/3551349.3560505"},"language":"en","primary_location":{"id":"doi:10.1145/3551349.3560505","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3560505","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3560505","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3560505","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022345432","display_name":"Kazuki Wayama","orcid":"https://orcid.org/0000-0001-7808-891X"},"institutions":[{"id":"https://openalex.org/I193620225","display_name":"Okayama Prefectural University","ror":"https://ror.org/038bgk418","country_code":"JP","type":"education","lineage":["https://openalex.org/I193620225"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Kazuki Wayama","raw_affiliation_strings":["Okayama Prefectural University, Japan"],"affiliations":[{"raw_affiliation_string":"Okayama Prefectural University, Japan","institution_ids":["https://openalex.org/I193620225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065208930","display_name":"Tomoyuki Yokogawa","orcid":"https://orcid.org/0000-0001-6681-2608"},"institutions":[{"id":"https://openalex.org/I193620225","display_name":"Okayama Prefectural University","ror":"https://ror.org/038bgk418","country_code":"JP","type":"education","lineage":["https://openalex.org/I193620225"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tomoyuki Yokogawa","raw_affiliation_strings":["Okayama Prefectural University, Japan"],"affiliations":[{"raw_affiliation_string":"Okayama Prefectural University, Japan","institution_ids":["https://openalex.org/I193620225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020874890","display_name":"Sousuke Amasaki","orcid":"https://orcid.org/0000-0001-8763-3457"},"institutions":[{"id":"https://openalex.org/I193620225","display_name":"Okayama Prefectural University","ror":"https://ror.org/038bgk418","country_code":"JP","type":"education","lineage":["https://openalex.org/I193620225"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Sousuke Amasaki","raw_affiliation_strings":["Okayama Prefectural University, Japan"],"affiliations":[{"raw_affiliation_string":"Okayama Prefectural University, Japan","institution_ids":["https://openalex.org/I193620225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051406503","display_name":"Hirohisa Aman","orcid":"https://orcid.org/0000-0001-7074-5225"},"institutions":[{"id":"https://openalex.org/I43545212","display_name":"Ehime University","ror":"https://ror.org/017hkng22","country_code":"JP","type":"education","lineage":["https://openalex.org/I43545212"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hirohisa Aman","raw_affiliation_strings":["Ehime University, Japan"],"affiliations":[{"raw_affiliation_string":"Ehime University, Japan","institution_ids":["https://openalex.org/I43545212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040347203","display_name":"Kazutami Arimoto","orcid":"https://orcid.org/0000-0003-2871-7479"},"institutions":[{"id":"https://openalex.org/I193620225","display_name":"Okayama Prefectural University","ror":"https://ror.org/038bgk418","country_code":"JP","type":"education","lineage":["https://openalex.org/I193620225"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kazutami Arimoto","raw_affiliation_strings":["Okayama Prefectural University, Japan"],"affiliations":[{"raw_affiliation_string":"Okayama Prefectural University, Japan","institution_ids":["https://openalex.org/I193620225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5022345432"],"corresponding_institution_ids":["https://openalex.org/I193620225"],"apc_list":null,"apc_paid":null,"fwci":1.0981,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78511367,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8309139013290405},{"id":"https://openalex.org/keywords/blueprint","display_name":"Blueprint","score":0.7785080671310425},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7569091320037842},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.7473477125167847},{"id":"https://openalex.org/keywords/bytecode","display_name":"Bytecode","score":0.647433876991272},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6454796195030212},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43033578991889954},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42624369263648987},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.412733793258667},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08671250939369202}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8309139013290405},{"id":"https://openalex.org/C155911762","wikidata":"https://www.wikidata.org/wiki/Q422321","display_name":"Blueprint","level":2,"score":0.7785080671310425},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7569091320037842},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.7473477125167847},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.647433876991272},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6454796195030212},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43033578991889954},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42624369263648987},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.412733793258667},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08671250939369202},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3551349.3560505","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3560505","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3560505","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3551349.3560505","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3560505","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3560505","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G605858752","display_name":null,"funder_award_id":"#21K11831, #21K11833","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4313563656.pdf","grobid_xml":"https://content.openalex.org/works/W4313563656.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W1574030932","https://openalex.org/W1970603830","https://openalex.org/W2000138546","https://openalex.org/W2091528430","https://openalex.org/W3137961279","https://openalex.org/W3162854678"],"related_works":["https://openalex.org/W4304620183","https://openalex.org/W1889284597","https://openalex.org/W2140009967","https://openalex.org/W20625830","https://openalex.org/W2384575798","https://openalex.org/W4379620208","https://openalex.org/W2041803215","https://openalex.org/W278680301","https://openalex.org/W2144996318","https://openalex.org/W2130642229"],"abstract_inverted_index":{"This":[0],"paper":[1],"examines":[2],"modeling":[3],"methods":[4,116],"for":[5,88,117,126],"applying":[6],"model":[7,65,87],"checking":[8],"to":[9,47,69,92,143],"game":[10,28,41,55,72,78],"programs":[11],"created":[12,80],"with":[13],"Unreal":[14],"Engine":[15],"5":[16],"Blueprint":[17,24,83],"scripting":[18],"system":[19],"(hereinafter":[20],"UE5":[21,23,82],"Blueprint).":[22],"can":[25,170],"visually":[26],"describe":[27],"logic":[29,73],"by":[30,95,106,160,174],"combining":[31],"various":[32],"processing":[33],"nodes,":[34],"but":[35],"as":[36],"the":[37,40,54,89,101,109,127,131,136,140,155,166,175],"size":[38],"of":[39,104,111,123,129,133,168],"grows,":[42],"it":[43],"becomes":[44],"more":[45],"difficult":[46],"find":[48],"and":[49,121,152,177],"fix":[50],"bugs":[51],"that":[52,154,165],"prevent":[53],"from":[56],"progressing.":[57],"In":[58],"this":[59],"paper,":[60],"a":[61,77,144,147],"formal":[62],"verification":[63,94],"technique,":[64],"checking,":[66],"is":[67],"used":[68],"automatically":[70],"detect":[71],"bugs.":[74],"We":[75,113,138],"convert":[76],"program":[79],"in":[81,135],"into":[84],"an":[85],"input":[86],"model-checker":[90],"NuSMV":[91],"achieve":[93],"NuSMV.":[96,161],"The":[97],"proposed":[98,141],"framework":[99],"enables":[100],"automatic":[102],"generation":[103],"models":[105],"formally":[107],"defining":[108],"semantics":[110],"nodes.":[112],"also":[114],"propose":[115],"data":[118],"flow":[119],"optimization":[120,176],"abstraction":[122],"variable":[124],"domain":[125],"purpose":[128],"reducing":[130],"number":[132,167],"states":[134,169],"model.":[137],"applied":[139],"method":[142],"blueprint":[145],"containing":[146],"typical":[148],"flag":[149],"management":[150],"bug":[151,156],"confirmed":[153],"was":[157],"correctly":[158],"detected":[159],"Furthermore,":[162],"we":[163],"show":[164],"be":[171],"significantly":[172],"reduced":[173],"abstraction.":[178]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}