Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
| Title: | Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language |
|---|---|
| Authors: | Nitin, V.; Mulhern, A.; Arora, S.; Ray, B. |
| Source: | IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 50(10):2602-2613 Oct, 2024 |
| Database: | IEEE Xplore Digital Library |