{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T18:24:39Z","timestamp":1766427879024,"version":"3.41.2"},"reference-count":78,"publisher":"Association for Computing Machinery (ACM)","issue":"ISSTA","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Softw. Eng."],"published-print":{"date-parts":[[2025,6,22]]},"abstract":"<jats:p>Rust is an emerging programming language that ensures safety through strict compile-time checks. A Rust function marked as unsafe indicates it has additional safety requirements (e.g., initialized, not null), known as contracts in the community. These unsafe functions can only be called within explicit unsafe blocks and the contracts must be guaranteed by the caller. To reuse and reduce unsafe code, the community recommends using safe encapsulation of unsafe calls (EUC) in practice. However, an EUC is unsound if any contract is not guaranteed and could lead to undefined behaviors in safe Rust, thus breaking Rust's safety promise. It is challenging to identify unsound EUCs with conventional techniques due to the limitation in cross-lingual comprehension of code and natural language. Large language models (LLMs) have demonstrated impressive capabilities, but their performance is unsatisfactory owing to the complexity of contracts and the lack of domain knowledge. To this end, we propose a novel framework, Safe4U, which incorporates LLMs, static analysis tools, and domain knowledge to identify unsound EUCs. Safe4U first utilizes static analysis tools to retrieve relevant context. Then, it decomposes the primitive contract description into several fine-grained classified contracts. Ultimately, Safe4U introduces domain knowledge and invokes the reasoning capability of LLMs to verify every fine-grained contract. The evaluation results show that Safe4U brings a general performance improvement and the fine-grained results are constructive for locating specific unsound sources. In real-world scenarios, Safe4U can identify 9 out of 11 unsound EUCs from CVE. Furthermore, Safe4U detected 22 new unsound EUCs in the most downloaded crates, 16 of which have been confirmed.<\/jats:p>","DOI":"10.1145\/3728890","type":"journal-article","created":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T10:52:56Z","timestamp":1750589576000},"page":"457-480","source":"Crossref","is-referenced-by-count":1,"title":["Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs"],"prefix":"10.1145","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-7191-0998","authenticated-orcid":false,"given":"Huan","family":"Li","sequence":"first","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8465-8189","authenticated-orcid":false,"given":"Bei","family":"Wang","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0093-3292","authenticated-orcid":false,"given":"Xing","family":"Hu","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6302-3256","authenticated-orcid":false,"given":"Xin","family":"Xia","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,22]]},"reference":[{"volume-title":"API Reference - OpenAI API. https:\/\/platform.openai.com\/docs\/api-reference Last accessed","year":"2024","key":"e_1_2_1_1_1","unstructured":"2024. API Reference - OpenAI API. https:\/\/platform.openai.com\/docs\/api-reference Last accessed Jun. 2024"},{"volume-title":"Models - Hugging Face. https:\/\/huggingface.co\/models Last accessed","year":"2024","key":"e_1_2_1_2_1","unstructured":"2024. Models - Hugging Face. https:\/\/huggingface.co\/models Last accessed Jun. 2024"},{"key":"e_1_2_1_3_1","unstructured":"2024. Replication package. https:\/\/github.com\/huanli-00\/Safe4U-replication.git replication package"},{"key":"e_1_2_1_4_1","volume-title":"Diogo Almeida, Janko Altenschmidt, Sam Altman, and Shyamal Anadkat.","author":"Achiam Josh","year":"2023","unstructured":"Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, and Shyamal Anadkat. 2023. Gpt-4 technical report. arXiv preprint arXiv:2303.08774."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3176258.3176330"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC\/COLING 2024","author":"An Jimin","year":"2024","unstructured":"Jimin An, YunSeok Choi, and Jee-Hyong Lee. 2024. Code Defect Detection Using Pre-trained Language Models with Encoder-Decoder via Line-Level Defect Localization. In Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC\/COLING 2024, 20-25 May, 2024, Torino, Italy, Nicoletta Calzolari, Min-Yen Kan, V\u00e9ronique Hoste, Alessandro Lenci, Sakriani Sakti, and Nianwen Xue (Eds.). ELRA and ICCL, 3446\u20133456. https:\/\/aclanthology.org\/2024.lrec-main.306"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428204"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483570"},{"volume-title":"wasmtime-jit-debug crate. https:\/\/crates.io\/crates\/wasmtime-jit-debug Last accessed","year":"2024","key":"e_1_2_1_9_1","unstructured":"bytecodealliance. 2024. wasmtime-jit-debug crate. https:\/\/crates.io\/crates\/wasmtime-jit-debug Last accessed Jun. 2024"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3087402"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2403.16437"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3652127"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.18653\/V1\/2024.ACL-LONG.65"},{"key":"e_1_2_1_14_1","volume-title":"Clippy Lints of Missing Safety Document. https:\/\/rust-lang.github.io\/rust-clippy\/master\/index.html#\/missing_safety_doc Last accessed","author":"Clippy Rust","year":"2024","unstructured":"Rust Clippy. 2024. Clippy Lints of Missing Safety Document. https:\/\/rust-lang.github.io\/rust-clippy\/master\/index.html#\/missing_safety_doc Last accessed Jun. 2024"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3546945"},{"key":"e_1_2_1_16_1","volume-title":"The Rust community\u2019s crate registry. https:\/\/crates.io Last accessed","author":"Team The","year":"2024","unstructured":"The crates.io Team. 2024. The Rust community\u2019s crate registry. https:\/\/crates.io Last accessed Jun. 2024"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3542948"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639136"},{"key":"e_1_2_1_19_1","volume-title":"Common Vulnerabilities and Exposures. https:\/\/cve.mitre.org\/cve\/ Last accessed","author":"CVE.","year":"2024","unstructured":"CVE. 2024. Common Vulnerabilities and Exposures. https:\/\/cve.mitre.org\/cve\/ Last accessed Jun. 2024"},{"key":"e_1_2_1_20_1","volume-title":"Common Vulnerabilities and Exposures related to Rust. https:\/\/cve.mitre.org\/cgi-bin\/cvekey.cgi?keyword=rust Last accessed","author":"CVE.","year":"2024","unstructured":"CVE. 2024. Common Vulnerabilities and Exposures related to Rust. https:\/\/cve.mitre.org\/cgi-bin\/cvekey.cgi?keyword=rust Last accessed Jun. 2024"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2403.18624"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.24963\/IJCAI.2019\/648"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380413"},{"key":"e_1_2_1_24_1","first-page":"458","volume-title":"Findings of the Association for Computational Linguistics: EMNLP 2024","author":"Ferraz Thomas Palmeira","year":"2024","unstructured":"Thomas Palmeira Ferraz, Kartik Mehta, Yu-Hsiang Lin, Haw-Shiuan Chang, Shereen Oraby, Sijia Liu, Vivek Subramanian, Tagyoung Chung, Mohit Bansal, and Nanyun Peng. 2024. LLM Self-Correction with DeCRIM: Decompose, Critique, and Refine for Enhanced Following of Instructions with Multiple Constraints. In Findings of the Association for Computational Linguistics: EMNLP 2024, Miami, Florida, USA, November 12-16, 2024. 7773\u20137812. https:\/\/aclanthology.org\/2024.findings-emnlp.458"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00109"},{"key":"e_1_2_1_26_1","volume-title":"Armando Solar-Lezama, Gabriel Synnaeve, and Sida Wang.","author":"Gu Alex","year":"2024","unstructured":"Alex Gu, Baptiste Rozi\u00e8re, Hugh James Leather, Armando Solar-Lezama, Gabriel Synnaeve, and Sida Wang. 2024. CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution. https:\/\/openreview.net\/forum?id=Ffpg52swvg"},{"key":"e_1_2_1_27_1","volume-title":"Perceived Risks of Unsafe Rust. In 32nd USENIX Security Symposium, USENIX Security 2023","author":"H\u00f6ltervennhoff Sandra","year":"2023","unstructured":"Sandra H\u00f6ltervennhoff, Philip Klostermeyer, Noah W\u00f6hler, Yasemin Acar, and Sascha Fahl. 2023. \"I wouldn\u2019t want my unsafe code to run my pacemaker\": An Interview Study on the Use, Comprehension, and Perceived Risks of Unsafe Rust. In 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, Joseph A. Calandrino and Carmela Troncoso (Eds.). USENIX Association, 2509\u20132525. https:\/\/www.usenix.org\/conference\/usenixsecurity23\/presentation\/holtervennhoff"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2403.07974"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2402.06647"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158154"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3660771"},{"key":"e_1_2_1_32_1","unstructured":"Kani. 2024. Kani Rust Verifier. https:\/\/github.com\/model-checking\/kani"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2311.16169"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","unstructured":"Heiko Koziolek Sten Gr\u00fcner Rhaban Hark Virendra Ashiwal Sofia Linsbauer and Nafise Eskandani. 2024. LLM-based and Retrieval-Augmented Control Code Generation. In LLM4CODE@ICSE. 22\u201329. https:\/\/doi.org\/10.1145\/3643795.3648384 10.1145\/3643795.3648384","DOI":"10.1145\/3643795.3648384"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586037"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649828"},{"key":"e_1_2_1_37_1","unstructured":"Yingcong Li Kartik Sreenivasan Angeliki Giannou Dimitris Papailiopoulos and Samet Oymak. 2023. Dissecting Chain-of-Thought: Compositionality through In-Context Filtering and Learning. http:\/\/papers.nips.cc\/paper_files\/paper\/2023\/hash\/45e15bae91a6f213d45e203b8a29be48-Abstract-Conference.html"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484541"},{"key":"e_1_2_1_39_1","unstructured":"Zhen Li Deqing Zou Shouhuai Xu Xinyu Ou Hai Jin Sujuan Wang Zhijun Deng and Yuyi Zhong. 2018. VulDeePecker: A Deep Learning-Based System for Vulnerability Detection. https:\/\/www.ndss-symposium.org\/wp-content\/uploads\/2018\/02\/ndss2018_03A-2_Li_paper.pdf"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380325"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639180"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523704"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3462205"},{"key":"e_1_2_1_44_1","volume-title":"Interrater reliability: the kappa statistic. Biochemia medica, 22, 3","author":"McHugh Mary L","year":"2012","unstructured":"Mary L McHugh. 2012. Interrater reliability: the kappa statistic. Biochemia medica, 22, 3 (2012), 276\u2013282."},{"key":"e_1_2_1_45_1","unstructured":"Miri. 2019. An interpreter for Rust\u2019s mid-level intermediate representation. https:\/\/github.com\/rust-lang\/miri"},{"key":"e_1_2_1_46_1","volume-title":"Measuring the Impact of Programming Language Distribution. In International Conference on Machine Learning, ICML 2023","author":"Orlanski Gabriel","year":"2023","unstructured":"Gabriel Orlanski, Kefan Xiao, Xavier Garcia, Jeffrey Hui, Joshua Howland, Jonathan Malmaud, Jacob Austin, Rishabh Singh, and Michele Catasta. 2023. Measuring the Impact of Programming Language Distribution. In International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA. 26619\u201326645. https:\/\/proceedings.mlr.press\/v202\/orlanski23a.html"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2406.03283"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3380393"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386036"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386036"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2307.11768"},{"key":"e_1_2_1_52_1","unstructured":"Niklas Risse and Marcel B\u00f6hme. 2024. Uncovering the Limits of Machine Learning for Automatic Vulnerability Detection. https:\/\/www.usenix.org\/conference\/usenixsecurity24\/presentation\/risse"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485832.3485903"},{"volume-title":"The Rustonomicon. https:\/\/doc.rust-lang.org\/nomicon\/ Last accessed","year":"2024","key":"e_1_2_1_54_1","unstructured":"Rust-nomicon. 2024. The Rustonomicon. https:\/\/doc.rust-lang.org\/nomicon\/ Last accessed Jun. 2024"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2407.10457"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3582688"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00188"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2401.16185"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","unstructured":"Yuqiang Sun Daoyuan Wu Yue Xue Han Liu Haijun Wang Zhengzi Xu Xiaofei Xie and Yang Liu. 2024. GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis. 166:1\u2013166:13. https:\/\/doi.org\/10.1145\/3597503.3639117 10.1145\/3597503.3639117","DOI":"10.1145\/3597503.3639117"},{"key":"e_1_2_1_60_1","volume-title":"https:\/\/huggingface.co\/Qwen\/Qwen2-7B-Instruct Last accessed","author":"Team Alibaba Qwen","year":"2024","unstructured":"Alibaba Qwen Team. 2024. Qwen2 7B Instruct. https:\/\/huggingface.co\/Qwen\/Qwen2-7B-Instruct Last accessed Jun. 2024"},{"key":"e_1_2_1_61_1","volume-title":"https:\/\/huggingface.co\/Qwen\/Qwen2.5-Coder-7B-Instruct Last accessed","author":"Team Alibaba Qwen","year":"2024","unstructured":"Alibaba Qwen Team. 2024. Qwen2.5-Coder 7B Instruct. https:\/\/huggingface.co\/Qwen\/Qwen2.5-Coder-7B-Instruct Last accessed Jun. 2024"},{"key":"e_1_2_1_62_1","volume-title":"Meta Llama3 8B Instruct. https:\/\/huggingface.co\/meta-llama\/Meta-Llama-3-8B-Instruct Last accessed","author":"Team Meta Llama","year":"2024","unstructured":"Meta Llama Team. 2024. Meta Llama3 8B Instruct. https:\/\/huggingface.co\/meta-llama\/Meta-Llama-3-8B-Instruct Last accessed Jun. 2024"},{"key":"e_1_2_1_63_1","volume-title":"Mission Statement of the Secure Code Working Group. https:\/\/github.com\/rust-secure-code\/wg Last accessed","author":"Team Rust","year":"2024","unstructured":"Rust Team. 2024. Mission Statement of the Secure Code Working Group. https:\/\/github.com\/rust-secure-code\/wg Last accessed Jun. 2024"},{"key":"e_1_2_1_64_1","volume-title":"https:\/\/rust-analyzer.github.io Last accessed","author":"Team Rust","year":"2024","unstructured":"Rust Team. 2024. Rust Analyzer. https:\/\/rust-analyzer.github.io Last accessed Jun. 2024"},{"key":"e_1_2_1_65_1","volume-title":"The Rust Standard Library. https:\/\/doc.rust-lang.org\/std Last accessed","author":"Team Rust","year":"2024","unstructured":"Rust Team. 2024. The Rust Standard Library. https:\/\/doc.rust-lang.org\/std Last accessed Jun. 2024"},{"key":"e_1_2_1_66_1","volume-title":"Usafe Code Guidelines. https:\/\/rust-lang.github.io\/unsafe-code-guidelines\/ Last accessed","author":"Team Rust","year":"2024","unstructured":"Rust Team. 2024. Usafe Code Guidelines. https:\/\/rust-lang.github.io\/unsafe-code-guidelines\/ Last accessed Jun. 2024"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2401.01313"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00210"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643762"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2310.07521"},{"key":"e_1_2_1_71_1","volume-title":"Quoc V. Le, and Denny Zhou.","author":"Wei Jason","year":"2022","unstructured":"Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed H. Chi, Quoc V. Le, and Denny Zhou. 2022. Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. http:\/\/papers.nips.cc\/paper_files\/paper\/2022\/hash\/9d5609613524ecf4f15af0f7b31abca4-Abstract-Conference.html"},{"key":"e_1_2_1_72_1","unstructured":"Noam Wies Yoav Levine and Amnon Shashua. 2023. The Learnability of In-Context Learning. http:\/\/papers.nips.cc\/paper_files\/paper\/2023\/hash\/73950f0eb4ac0925dc71ba2406893320-Abstract-Conference.html"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3466642"},{"key":"e_1_2_1_74_1","volume-title":"Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions","author":"Zelikman Eric","year":"2023","unstructured":"Eric Zelikman, Qian Huang, Gabriel Poesia, Noah D. Goodman, and Nick Haber. 2023. Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions. http:\/\/papers.nips.cc\/paper_files\/paper\/2023\/hash\/6445dd88ebb9a6a3afa0b126ad87fe41-Abstract-Conference.html"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3286586"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3613878"},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624738"},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","unstructured":"Terry Yue Zhuo Minh Chien Vu Jenny Chim Han Hu Wenhao Yu Ratnadira Widyasari Imam Nur Bani Yusuf Haolan Zhan Junda He Indraneil Paul Simon Brunner Chen Gong Thong Hoang Armel Randy Zebaze Xiaoheng Hong Wen-Ding Li Jean Kaddour Ming Xu Zhihan Zhang Prateek Yadav Naman Jain Alex Gu Zhoujun Cheng Jiawei Liu Qian Liu Zijian Wang David Lo Binyuan Hui Niklas Muennighoff Daniel Fried Xiaoning Du Harm de Vries and Leandro von Werra. 2024. BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructions. CoRR abs\/2406.15877 (2024) https:\/\/doi.org\/10.48550\/ARXIV.2406.15877 arXiv:2406.15877. 10.48550\/ARXIV.2406.15877","DOI":"10.48550\/ARXIV.2406.15877"}],"container-title":["Proceedings of the ACM on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3728890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T16:50:29Z","timestamp":1752684629000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3728890"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":78,"journal-issue":{"issue":"ISSTA","published-print":{"date-parts":[[2025,6,22]]}},"alternative-id":["10.1145\/3728890"],"URL":"https:\/\/doi.org\/10.1145\/3728890","relation":{},"ISSN":["2994-970X"],"issn-type":[{"type":"electronic","value":"2994-970X"}],"subject":[],"published":{"date-parts":[[2025,6,22]]}}}