Open access
Jun 2026
Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation
SugBreaker is presented, an automated testing framework specifically designed to validate rustc's suggestions that injects type-related, borrow-related, and lifetime-related errors into valid Rust programs to trigger compiler diagnostics and iteratively verify the correctness of suggested fixes.
Zixi Liu, Yang Feng, Jialiang Jiang et al.
· Proceedings of the ACM on So... · 0 citations