{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T07:13:45Z","timestamp":1769757225758,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T00:00:00Z","timestamp":1658102400000},"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,7,18]]},"DOI":"10.1145\/3533767.3534392","type":"proceedings-article","created":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T14:28:50Z","timestamp":1657895330000},"page":"52-63","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing"],"prefix":"10.1145","author":[{"given":"Hasan Ferit","family":"Eniser","sequence":"first","affiliation":[{"name":"MPI-SWS, Germany"}]},{"given":"Timo P.","family":"Gros","sequence":"additional","affiliation":[{"name":"Saarland University, Germany"}]},{"given":"Valentin","family":"W\u00fcstholz","sequence":"additional","affiliation":[{"name":"ConsenSys, Germany"}]},{"given":"J\u00f6rg","family":"Hoffmann","sequence":"additional","affiliation":[{"name":"Saarland University, Germany \/ DFKI, Germany"}]},{"given":"Maria","family":"Christakis","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. LibFuzzer\u2014A Library for Coverage-Guided Fuzz Testing.  https:\/\/llvm.org\/docs\/LibFuzzer.html \t\t\t\t\t  [n. d.]. LibFuzzer\u2014A Library for Coverage-Guided Fuzz Testing.  https:\/\/llvm.org\/docs\/LibFuzzer.html"},{"key":"e_1_3_2_1_2_1","volume-title":"\u201cWhitepaper","author":"Technical","unstructured":"[n. d.]. Technical \u201cWhitepaper \u201d for AFL. http:\/\/lcamtuf.coredump.cx\/afl\/technical_details.txt [n. d.]. Technical \u201cWhitepaper\u201d for AFL. http:\/\/lcamtuf.coredump.cx\/afl\/technical_details.txt"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_27"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Mohammed Alshiekh Roderick Bloem R\u00fcdiger Ehlers Bettina K\u00f6nighofer Scott Niekum and Ufuk Topcu. 2018. Safe Reinforcement Learning via Shielding. In AAAI. AAAI 2669\u20132678. \t\t\t\t\t  Mohammed Alshiekh Roderick Bloem R\u00fcdiger Ehlers Bettina K\u00f6nighofer Scott Niekum and Ufuk Topcu. 2018. Safe Reinforcement Learning via Shielding. In AAAI. AAAI 2669\u20132678.","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"e_1_3_2_1_5_1","unstructured":"Osbert Bastani Yewen Pu and Armando Solar-Lezama. 2018. Verifiable Reinforcement Learning via Policy Extraction. In NeurIPS. 2499\u20132509. \t\t\t\t\t  Osbert Bastani Yewen Pu and Armando Solar-Lezama. 2018. Verifiable Reinforcement Learning via Policy Extraction. In NeurIPS. 2499\u20132509."},{"key":"e_1_3_2_1_6_1","first-page":"5","article-title":"Planning as Heuristic Search","volume":"129","author":"Bonet Blai","year":"2001","unstructured":"Blai Bonet and Hector Geffner . 2001 . Planning as Heuristic Search . AIJ , 129 (2001), 5 \u2013 33 . Blai Bonet and Hector Geffner. 2001. Planning as Heuristic Search. AIJ, 129 (2001), 5\u201333.","journal-title":"AIJ"},{"key":"e_1_3_2_1_7_1","volume-title":"abs\/1606.01540","author":"Brockman Greg","year":"2016","unstructured":"Greg Brockman , Vicki Cheung , Ludwig Pettersson , Jonas Schneider , John Schulman , Jie Tang , and Wojciech Zaremba . 2016. Open AI Gym . CoRR , abs\/1606.01540 ( 2016 ). Greg Brockman, Vicki Cheung, Ludwig Pettersson, Jonas Schneider, John Schulman, Jie Tang, and Wojciech Zaremba. 2016. OpenAI Gym. CoRR, abs\/1606.01540 (2016)."},{"key":"e_1_3_2_1_8_1","volume-title":"Metamorphic Testing: A New Approach for Generating Next Test Cases. HKUST.","author":"Chen Tsong Yueh","year":"1998","unstructured":"Tsong Yueh Chen , S. C. Cheung , and Siu-Ming Yiu . 1998 . Metamorphic Testing: A New Approach for Generating Next Test Cases. HKUST. Tsong Yueh Chen, S. C. Cheung, and Siu-Ming Yiu. 1998. Metamorphic Testing: A New Approach for Generating Next Test Cases. HKUST."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"e_1_3_2_1_10_1","volume-title":"RMT: Rule-Based Metamorphic Testing for Autonomous Driving Models. CoRR, abs\/2012.10672","author":"Deng Yao","year":"2020","unstructured":"Yao Deng , Xi Zheng , Tianyi Zhang , Guannan Lou , Huai Liu , and Miryung Kim . 2020 . RMT: Rule-Based Metamorphic Testing for Autonomous Driving Models. CoRR, abs\/2012.10672 (2020). Yao Deng, Xi Zheng, Tianyi Zhang, Guannan Lou, Huai Liu, and Miryung Kim. 2020. RMT: Rule-Based Metamorphic Testing for Autonomous Driving Models. CoRR, abs\/2012.10672 (2020)."},{"key":"e_1_3_2_1_11_1","first-page":"73","article-title":"Red-Black Planning: A New Systematic Approach to Partial Delete Relaxation","volume":"221","author":"Domshlak Carmel","year":"2015","unstructured":"Carmel Domshlak , J\u00f6rg Hoffmann , and Michael Katz . 2015 . Red-Black Planning: A New Systematic Approach to Partial Delete Relaxation . AIJ , 221 (2015), 73 \u2013 114 . Carmel Domshlak, J\u00f6rg Hoffmann, and Michael Katz. 2015. Red-Black Planning: A New Systematic Approach to Partial Delete Relaxation. AIJ, 221 (2015), 73\u2013114.","journal-title":"AIJ"},{"key":"e_1_3_2_1_12_1","volume-title":"Deshmukh","author":"Dreossi Tommaso","year":"2015","unstructured":"Tommaso Dreossi , Thao Dang , Alexandre Donz\u00e9 , James Kapinski , Xiaoqing Jin , and Jyotirmoy V . Deshmukh . 2015 . Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. In NFM (LNCS , Vol. 9058). Springer, 127\u2013 142 . Tommaso Dreossi, Thao Dang, Alexandre Donz\u00e9, James Kapinski, Xiaoqing Jin, and Jyotirmoy V. Deshmukh. 2015. Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. In NFM (LNCS, Vol. 9058). Springer, 127\u2013142."},{"key":"e_1_3_2_1_13_1","unstructured":"Stefan Edelkamp. 2001. Planning with Pattern Databases. In ECP. AAAI 13\u201324. \t\t\t\t\t  Stefan Edelkamp. 2001. Planning with Pattern Databases. In ECP. AAAI 13\u201324."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30281-8_10"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2789272.2886795"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Sankalp Garg Aniket Bajpai and  Mausam. 2019. Size Independent Neural Transfer for RDDL Planning. In ICAPS. AAAI 631\u2013636. \t\t\t\t\t  Sankalp Garg Aniket Bajpai and  Mausam. 2019. Size Independent Neural Transfer for RDDL Planning. In ICAPS. AAAI 631\u2013636.","DOI":"10.1609\/icaps.v29i1.3530"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1027328830731"},{"key":"e_1_3_2_1_18_1","volume-title":"Alper Sen, and Alper \u00c7akan.","author":"Gerasimou Simos","year":"2020","unstructured":"Simos Gerasimou , Hasan Ferit Eniser , Alper Sen, and Alper \u00c7akan. 2020 . Importance-Driven Deep Learning System Testing. In ICSE. ACM , 322\u2013323. Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, and Alper \u00c7akan. 2020. Importance-Driven Deep Learning System Testing. In ICSE. ACM, 322\u2013323."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Edward Groshev Maxwell Goldstein Aviv Tamar Siddharth Srivastava and Pieter Abbeel. 2018. Learning Generalized Reactive Policies Using Deep Neural Networks. In ICAPS. AAAI 408\u2013416. \t\t\t\t\t  Edward Groshev Maxwell Goldstein Aviv Tamar Siddharth Srivastava and Pieter Abbeel. 2018. Learning Generalized Reactive Policies Using Deep Neural Networks. In ICAPS. AAAI 408\u2013416.","DOI":"10.1609\/icaps.v28i1.13872"},{"key":"e_1_3_2_1_20_1","unstructured":"Pinjia He Clara Meister and Zhendong Su. 2020. Structure-Invariant Testing for Machine Translation. In ICSE. ACM 961\u2013973. \t\t\t\t\t  Pinjia He Clara Meister and Zhendong Su. 2020. Structure-Invariant Testing for Machine Translation. In ICSE. ACM 961\u2013973."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2559951"},{"key":"e_1_3_2_1_22_1","unstructured":"Jonathan Ho and Stefano Ermon. 2016. Generative Adversarial Imitation Learning. In NeurIPS. 4565\u20134573. \t\t\t\t\t  Jonathan Ho and Stefano Ermon. 2016. Generative Adversarial Imitation Learning. In NeurIPS. 4565\u20134573."},{"key":"e_1_3_2_1_23_1","first-page":"1","article-title":"Verifiably Safe Exploration for End-To-End Reinforcement Learning","volume":"14","author":"Hunt Nathan","year":"2021","unstructured":"Nathan Hunt , Nathan Fulton , Sara Magliacane , Trong Nghia Hoang , Subhro Das , and Armando Solar-Lezama . 2021 . Verifiably Safe Exploration for End-To-End Reinforcement Learning . In HSCC. ACM , 14 : 1 \u2013 14 :11. Nathan Hunt, Nathan Fulton, Sara Magliacane, Trong Nghia Hoang, Subhro Das, and Armando Solar-Lezama. 2021. Verifiably Safe Exploration for End-To-End Reinforcement Learning. In HSCC. ACM, 14:1\u201314:11.","journal-title":"HSCC. ACM"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Murugeswari Issakkimuthu Alan Fern and Prasad Tadepalli. 2018. Training Deep Reactive Policies for Probabilistic Planning Problems. In ICAPS. AAAI 422\u2013430. \t\t\t\t\t  Murugeswari Issakkimuthu Alan Fern and Prasad Tadepalli. 2018. Training Deep Reactive Policies for Probabilistic Planning Problems. In ICAPS. AAAI 422\u2013430.","DOI":"10.1609\/icaps.v28i1.13873"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Rushang Karia and Siddharth Srivastava. 2021. Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning. In AAAI. AAAI 8064\u20138073. \t\t\t\t\t  Rushang Karia and Siddharth Srivastava. 2021. Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning. In AAAI. AAAI 8064\u20138073.","DOI":"10.1609\/aaai.v35i9.16983"},{"key":"e_1_3_2_1_26_1","volume-title":"Guiding Deep Learning System Testing Using Surprise Adequacy","author":"Kim Jinhan","unstructured":"Jinhan Kim , Robert Feldt , and Shin Yoo . 2019. Guiding Deep Learning System Testing Using Surprise Adequacy . In ICSE. IEEE Computer Society\/ACM , 1039\u20131049. Jinhan Kim, Robert Feldt, and Shin Yoo. 2019. Guiding Deep Learning System Testing Using Surprise Adequacy. In ICSE. IEEE Computer Society\/ACM, 1039\u20131049."},{"key":"e_1_3_2_1_27_1","volume-title":"Kochenderfer","author":"Koren Mark","year":"2018","unstructured":"Mark Koren , Saud Alsaif , Ritchie Lee , and Mykel J . Kochenderfer . 2018 . Adaptive Stress Testing for Autonomous Vehicles. In IV. IEEE Computer Society , 1\u20137. Mark Koren, Saud Alsaif, Ritchie Lee, and Mykel J. Kochenderfer. 2018. Adaptive Stress Testing for Autonomous Vehicles. In IV. IEEE Computer Society, 1\u20137."},{"key":"e_1_3_2_1_28_1","first-page":"1165","article-title":"Adaptive Stress Testing","volume":"69","author":"Lee Ritchie","year":"2020","unstructured":"Ritchie Lee , Ole J. Mengshoel , Anshu Saksena , Ryan W. Gardner , Daniel Genin , Joshua Silbermann , Michael P. Owen , and Mykel J. Kochenderfer . 2020 . Adaptive Stress Testing : Finding Likely Failure Events with Reinforcement Learning. JAIR , 69 (2020), 1165 \u2013 1201 . Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, and Mykel J. Kochenderfer. 2020. Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning. JAIR, 69 (2020), 1165\u20131201.","journal-title":"Finding Likely Failure Events with Reinforcement Learning. JAIR"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Lei Ma Felix Juefei-Xu Fuyuan Zhang Jiyuan Sun Minhui Xue Bo Li Chunyang Chen Ting Su Li Li Yang Liu Jianjun Zhao and Yadong Wang. 2018. DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems. In ASE. ACM 120\u2013131. \t\t\t\t\t  Lei Ma Felix Juefei-Xu Fuyuan Zhang Jiyuan Sun Minhui Xue Bo Li Chunyang Chen Ting Su Li Li Yang Liu Jianjun Zhao and Yadong Wang. 2018. DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems. In ASE. ACM 120\u2013131.","DOI":"10.1145\/3238147.3238202"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_31_1","unstructured":"Robin Milner. 1971. An Algebraic Definition of Simulation Between Programs. In IJCAI. 481\u2013489. \t\t\t\t\t  Robin Milner. 1971. An Algebraic Definition of Simulation Between Programs. In IJCAI. 481\u2013489."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"key":"e_1_3_2_1_33_1","volume-title":"Goodfellow","author":"Odena Augustus","year":"2019","unstructured":"Augustus Odena , Catherine Olsson , David Andersen , and Ian J . Goodfellow . 2019 . TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing. In ICML (PMLR , Vol. 97). PMLR, 4901\u2013 4911 . Augustus Odena, Catherine Olsson, David Andersen, and Ian J. Goodfellow. 2019. TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing. In ICML (PMLR, Vol. 97). PMLR, 4901\u20134911."},{"key":"e_1_3_2_1_34_1","volume-title":"MDPFuzzer: Finding Crash-Triggering State Sequences in Models Solving the Markov Decision Process. CoRR, abs\/2112.02807","author":"Pang Qi","year":"2021","unstructured":"Qi Pang , Yuanyuan Yuan , and Shuai Wang . 2021. MDPFuzzer: Finding Crash-Triggering State Sequences in Models Solving the Markov Decision Process. CoRR, abs\/2112.02807 ( 2021 ). Qi Pang, Yuanyuan Yuan, and Shuai Wang. 2021. MDPFuzzer: Finding Crash-Triggering State Sequences in Models Solving the Markov Decision Process. CoRR, abs\/2112.02807 (2021)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Kexin Pei Yinzhi Cao Junfeng Yang and Suman Jana. 2017. DeepXplore: Automated Whitebox Testing of Deep Learning Systems. In SOSP. ACM 1\u201318. \t\t\t\t\t  Kexin Pei Yinzhi Cao Junfeng Yang and Suman Jana. 2017. DeepXplore: Automated Whitebox Testing of Deep Learning Systems. In SOSP. ACM 1\u201318.","DOI":"10.1145\/3132747.3132785"},{"key":"e_1_3_2_1_36_1","unstructured":"Antonin Raffin Ashley Hill Maximilian Ernestus Adam Gleave Anssi Kanervisto and Noah Dormann. 2019. Stable Baselines3.  https:\/\/github.com\/DLR-RM\/stable-baselines3 \t\t\t\t\t  Antonin Raffin Ashley Hill Maximilian Ernestus Adam Gleave Anssi Kanervisto and Noah Dormann. 2019. Stable Baselines3.  https:\/\/github.com\/DLR-RM\/stable-baselines3"},{"key":"e_1_3_2_1_37_1","volume-title":"Proximal Policy Optimization Algorithms. CoRR, abs\/1707.06347","author":"Schulman John","year":"2017","unstructured":"John Schulman , Filip Wolski , Prafulla Dhariwal , Alec Radford , and Oleg Klimov . 2017. Proximal Policy Optimization Algorithms. CoRR, abs\/1707.06347 ( 2017 ). John Schulman, Filip Wolski, Prafulla Dhariwal, Alec Radford, and Oleg Klimov. 2017. Proximal Policy Optimization Algorithms. CoRR, abs\/1707.06347 (2017)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature16961"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.aar6404"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Marcel Steinmetz Timo P. Gros Philippe Heim Daniel H\u00f6ller and J\u00f6rg Hoffmann. 2021. Debugging a Policy: A Framework for Automatic Action Policy Testing. In PRL@ICAPS. \t\t\t\t\t  Marcel Steinmetz Timo P. Gros Philippe Heim Daniel H\u00f6ller and J\u00f6rg Hoffmann. 2021. Debugging a Policy: A Framework for Automatic Action Policy Testing. In PRL@ICAPS.","DOI":"10.1609\/icaps.v32i1.19820"},{"key":"e_1_3_2_1_41_1","unstructured":"Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska and Daniel Kroening. 2018. Concolic Testing for Deep Neural Networks. In ASE. ACM 109\u2013119. \t\t\t\t\t  Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska and Daniel Kroening. 2018. Concolic Testing for Deep Neural Networks. In ASE. ACM 109\u2013119."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Yuchi Tian Kexin Pei Suman Jana and Baishakhi Ray. 2018. DeepTest: Automated Testing of Deep-Neural-Network-Driven Autonomous Cars. In ICSE. ACM 303\u2013314. \t\t\t\t\t  Yuchi Tian Kexin Pei Suman Jana and Baishakhi Ray. 2018. DeepTest: Automated Testing of Deep-Neural-Network-Driven Autonomous Cars. In ICSE. ACM 303\u2013314.","DOI":"10.1145\/3180155.3180220"},{"key":"e_1_3_2_1_43_1","first-page":"1","article-title":"ASNets","volume":"68","author":"Toyer Sam","year":"2020","unstructured":"Sam Toyer , Sylvie Thi\u00e9baux , Felipe W. Trevizan , and Lexing Xie . 2020 . ASNets : Deep Learning for Generalised Planning. JAIR , 68 (2020), 1 \u2013 68 . Sam Toyer, Sylvie Thi\u00e9baux, Felipe W. Trevizan, and Lexing Xie. 2020. ASNets: Deep Learning for Generalised Planning. JAIR, 68 (2020), 1\u201368.","journal-title":"Deep Learning for Generalised Planning. JAIR"},{"key":"e_1_3_2_1_44_1","volume-title":"Adversarial Sample Detection for Deep Neural Network Through Model Mutation Testing","author":"Wang Jingyi","unstructured":"Jingyi Wang , Guoliang Dong , Jun Sun , Xinyu Wang , and Peixin Zhang . 2019. Adversarial Sample Detection for Deep Neural Network Through Model Mutation Testing . In ICSE. IEEE Computer Society\/ACM , 1245\u20131256. Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, and Peixin Zhang. 2019. Adversarial Sample Detection for Deep Neural Network Through Model Mutation Testing. In ICSE. IEEE Computer Society\/ACM, 1245\u20131256."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Mengshi Zhang Yuqun Zhang Lingming Zhang Cong Liu and Sarfraz Khurshid. 2018. DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems. In ASE. ACM 132\u2013142. \t\t\t\t\t  Mengshi Zhang Yuqun Zhang Lingming Zhang Cong Liu and Sarfraz Khurshid. 2018. DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems. In ASE. ACM 132\u2013142.","DOI":"10.1145\/3238147.3238187"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3241979"}],"event":{"name":"ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Virtual South Korea","acronym":"ISSTA '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3533767.3534392","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3533767.3534392","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:43:41Z","timestamp":1750272221000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3533767.3534392"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,18]]},"references-count":46,"alternative-id":["10.1145\/3533767.3534392","10.1145\/3533767"],"URL":"https:\/\/doi.org\/10.1145\/3533767.3534392","relation":{},"subject":[],"published":{"date-parts":[[2022,7,18]]},"assertion":[{"value":"2022-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}