A foundation-model oracle finds 13 behavioral-change bugs in the Rope Python refactoring library
- Sources: primary
- Summary: The authors use a foundation model as a test oracle to decide whether a refactoring preserves program behavior, and report 13 behavioral-change bugs found in the Rope Python refactoring library. They report 12 of their 13 issue reports accepted by Rope's developers.
- Why it matters: Rope backs refactoring in several Python editor integrations, so refactorings assumed to preserve behavior did not.