TY - RPRT TI - Formalizing and Automating Fine-Grained Move Refactorings Across Methods AU - Kota Yasuhara AU - Shinpei Hayashi PY - 2026 DO - 10.1109/scam71261.2026.00017 UR - https://arxiv.org/abs/2608.23377 ID - 2608.23377 ER -