@misc{indiciae3d6ee372ed0f,
  title = {RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code},
  author = {Yubo Bai and Tapti Palit},
  year = {2025},
  url = {https://arxiv.org/abs/2510.07604},
  note = {Source identifier: 2510.07604}
}