Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust
Ying Zhang, Peng Li, Yu Ding, Lingxiang Wang, Dan Williams, Na Meng
2024 IEEE/ACM 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)