Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation.

Wenzhang Yang, Linhai Song, Yinxing Xue

Browse the full ICSE paper archive.