{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T12:24:50Z","timestamp":1780575890621,"version":"3.54.1"},"reference-count":52,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,16]]},"DOI":"10.1109\/ase63991.2025.00051","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:54:38Z","timestamp":1769633678000},"page":"534-546","source":"Crossref","is-referenced-by-count":2,"title":["RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code"],"prefix":"10.1109","author":[{"given":"Yubo","family":"Bai","sequence":"first","affiliation":[{"name":"University of California, Davis,Department of Computer Science,Davis,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tapti","family":"Palit","sequence":"additional","affiliation":[{"name":"University of California, Davis,Department of Computer Science,Davis,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3485498"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3586046"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37709-9_22"},{"key":"ref4","article-title":"Towards translating real-world code with llms: A study of translating to rust","author":"Eniser","year":"2024"},{"key":"ref5","article-title":"Inside GitHub: Working with the LLMs behind GitHub Copilot","year":"2024"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3491101.3519665"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3672459"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3660810"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639226"},{"key":"ref10","article-title":"Openai models","year":"2024"},{"key":"ref11","article-title":"Openai platform: Gpt 4.o mini","year":"2024"},{"key":"ref12","article-title":"Meet claude anthropic","year":"2024"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37709-9_22"},{"key":"ref14","article-title":"OpenAI Models","year":"2024"},{"key":"ref15","volume-title":"What is LLM Temperature?","year":"2025"},{"key":"ref16","article-title":"Mistral 7b","author":"AI"},{"key":"ref17","article-title":"Fixing rust compilation errors using llms","author":"Deligiannis","year":"2023"},{"key":"ref18","first-page":"209","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"Cadar","year":"2008","journal-title":"OSDI"},{"key":"ref19","article-title":"The reference manual for the KQuery language","year":"2025"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.5220\/0005209202710278"},{"key":"ref21","article-title":"Clang: a C language family frontend for LLVM","year":"2024"},{"key":"ref22","article-title":"AST Matcher Reference","year":"2025"},{"key":"ref23","article-title":"ANTLR (ANother Tool for Language Recognition)","year":"2025"},{"key":"ref24","article-title":"GraphViz)","year":"2025"},{"key":"ref25","article-title":"NetworkX - Network Analysis in Python","year":"2025"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.25080\/tcwv9851"},{"key":"ref27","article-title":"Context-aware code segmentation for c-to-rust translation using large language models","author":"Shiraishi","year":"2024"},{"key":"ref28","article-title":"Vert: Verified equivalent rust transpilation with large language models as few-shot learners","author":"Yang","year":"2024"},{"key":"ref29","article-title":"Pr2: Peephole raw pointer rewriting with llms for translating c to safer rust","author":"Gao","year":"2025"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-024-10573-2"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2025.3641486"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-032-00828-2_16"},{"key":"ref33","article-title":"Context-aware code segmentation for c-to-rust translation using large language models","author":"Shiraishi","year":"2024"},{"key":"ref34","article-title":"Llm-driven multi-step translation from c to rust using static analysis","author":"Zhou","year":"2025"},{"key":"ref35","article-title":"C2rust","year":"2024"},{"key":"ref36","article-title":"Syzygy: Dual code-test c to (safe) rust translation using llms and dynamic analysis","author":"Shetty","year":"2024"},{"key":"ref37","article-title":"Large language model-powered agent for c to rust code translation","author":"Sim","year":"2025"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453131"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3528640"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00069"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3656406"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/icse55347.2025.00127"},{"key":"ref44","article-title":"Compiling c to safe rust, formalized","author":"Fromherz","year":"2024"},{"key":"ref45","article-title":"Scalable, validated code translation of entire projects using large language models","author":"Zhang","year":"2024"},{"key":"ref46","article-title":"Repository-level code translation benchmark targeting rust","author":"Ou","year":"2025"},{"key":"ref47","article-title":"Crust-bench: A comprehensive benchmark for c-to-safe-rust transpilation","author":"Khatry","year":"2025"},{"key":"ref48","article-title":"WebAssembly","year":"2025"},{"key":"ref49","first-page":"21 558","article-title":"Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation","volume":"36","author":"Liu","year":"2023","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref50","article-title":"Autosafecoder: A multi-agent framework for securing llm code generation through static analysis and fuzz testing","author":"Nunez","year":"2024"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663801"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3639477.3639714"}],"event":{"name":"2025 40th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Seoul, Korea, Republic of","start":{"date-parts":[[2025,11,16]]},"end":{"date-parts":[[2025,11,20]]}},"container-title":["2025 40th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11334056\/11334198\/11334436.pdf?arnumber=11334436","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T09:06:55Z","timestamp":1769677615000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11334436\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"references-count":52,"URL":"https:\/\/doi.org\/10.1109\/ase63991.2025.00051","relation":{},"subject":[],"published":{"date-parts":[[2025,11,16]]}}}