Pith. sign in

REVIEW 2 cited by

An Empirical Study of Refactoring Engine Bugs

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2409.14610 v1 pith:3N6O33FW submitted 2024-09-22 cs.SE

classification cs.SE
keywords refactoringbugsenginessoftwarecodedevelopmentengineprocess
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Refactoring is a critical process in software development, aiming at improving the internal structure of code while preserving its external behavior. Refactoring engines are integral components of modern Integrated Development Environments (IDEs) and can automate or semi-automate this process to enhance code readability, reduce complexity, and improve the maintainability of software products. Like traditional software systems, refactoring engines can generate incorrect refactored programs, resulting in unexpected behaviors or even crashes. In this paper, we present the first systematic study of refactoring engine bugs by analyzing bugs arising in three popular refactoring engines (i.e., Eclipse, IntelliJ IDEA, and Netbeans). We analyzed these bugs according to their refactoring types, symptoms, root causes, and triggering conditions. We obtained 12 findings and provided a series of valuable guidelines for future work on refactoring bug detection and debugging. Furthermore, our transferability study revealed 130 new bugs in the latest version of those refactoring engines. Among the 21 bugs we submitted, 10 bugs are confirmed by their developers, and seven of them have already been fixed.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Detecting Behavioral Changes in Python Refactoring Implementations with Foundation Models

    cs.SE 2026-08 conditional novelty 6.0 of 10

    A diff-reading foundation-model oracle detects behavior-changing Python refactorings with 91% recall and surfaced 13 Rope bugs, 12 accepted by maintainers.

  2. Testing Refactoring Engine via Historical Bug Report driven LLM

    cs.SE 2025-01 conditional novelty 6.0 of 10

    RETESTER generates refactoring-preserving Java variants from historical bug reports using an LLM and finds 18 new bugs in Eclipse and IntelliJ refactoring engines.

Pith tools