C2SaferRust: Transforming C Projects Into Safer Rust With NeuroSymbolic Techniques
| Title: | C2SaferRust: Transforming C Projects Into Safer Rust With NeuroSymbolic Techniques |
|---|---|
| Authors: | Nitin, V.; Krishna, R.; Valle, L.L.d.; Ray, B. |
| Source: | IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 52(2):618-630 Feb, 2026 |
| Database: | IEEE Xplore Digital Library |