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

Wenzhang Yang Linhai Song Yinxing Xue

Published in: ICSE (2024)

Keyphrases

semi automated
automated analysis
database
rough sets
classification rules
rule induction
neural network
artificial intelligence
multimedia
computational complexity
expert systems
association rules
data driven
semi automatic
fully automated
dynamic behavior