TY  - RPRT
TI  - RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
AU  - Yubo Bai
AU  - Tapti Palit
PY  - 2025
UR  - https://arxiv.org/abs/2510.07604
ID  - 2510.07604
ER  -