Cover Image

Dissect-and-Restore: AI-based Code Verification with Transient Refactoring

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Changjie, Scazzariello, Mariano, Alshnakat, Anoud, Guanciale, Roberto, Kostić, Dejan, Chiesa, Marco
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning
by: Puccioni, Laura, et al.
Published: (2025)

Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
by: Cipollone, Daniele, et al.
Published: (2025)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
by: Wang, Changjie, et al.
Published: (2025)

Blink: CPU-Free LLM Inference by Delegating the Serving Stack to GPU and SmartNIC
by: Siavashi, Mohammad, et al.
Published: (2026)

"Refactoring Runaway": Understanding and Mitigating Tangled Refactorings in Coding Agents for Issue Resolution
by: Tian, Zhao, et al.
Published: (2026)

How to Refactor this Code? An Exploratory Study on Developer-ChatGPT Refactoring Conversations
by: AlOmar, Eman Abdullah, et al.
Published: (2024)

LLM-based Multi-Agent System for Intelligent Refactoring of Haskell Code
by: Siddeeq, Shahbaz, et al.
Published: (2025)

SWE-Refactor: A Repository-Level Benchmark for Real-World LLM-Based Code Refactoring
by: Xu, Yisen, et al.
Published: (2026)

Code Clone Refactoring in C# with Lambda Expressions
by: Kawamoto, Takuto, et al.
Published: (2025)

Preference-Guided Refactored Tuning for Retrieval Augmented Code Generation
by: Gao, Xinyu, et al.
Published: (2024)

Impermanent Identifiers: Enhanced Source Code Comprehension and Refactoring
by: Guerra, Eduardo Martins, et al.
Published: (2024)

Agentic Refactoring: An Empirical Study of AI Coding Agents
by: Horikawa, Kosei, et al.
Published: (2025)

Refactoring Deep Learning Code: A Study of Practices and Unsatisfied Tool Needs
by: Wang, Siqi, et al.
Published: (2024)

ActRef: Enhancing the Understanding of Python Code Refactoring with Action-Based Analysis
by: Wang, Siqi, et al.
Published: (2025)

Refactoring Detection in C++ Programs with RefactoringMiner++
by: Ritz, Benjamin, et al.
Published: (2025)

Automatic Qiskit Code Refactoring Using Large Language Models
by: Suárez, José Manuel, et al.
Published: (2025)

An Empirical Study on the Code Refactoring Capability of Large Language Models
by: Cordeiro, Jonathan, et al.
Published: (2024)

Teaching Code Refactoring Using LLMs
by: Khairnar, Anshul, et al.
Published: (2025)

A Code Smell Refactoring Approach using GNNs
by: Zhang, HanYu, et al.
Published: (2025)

ChatGPT for Code Refactoring: Analyzing Topics, Interaction, and Effective Prompts
by: AlOmar, Eman Abdullah, et al.
Published: (2025)

Code Refactoring with LLM: A Comprehensive Evaluation With Few-Shot Settings
by: Tapader, Md. Raihan, et al.
Published: (2025)

Automated Refactoring of Legacy JavaScript Code to ES6 Modules
by: Paltoglou, Katerina, et al.
Published: (2021)

Automated Refactoring of Non-Idiomatic Python Code: A Differentiated Replication with LLMs
by: Midolo, Alessandro, et al.
Published: (2025)

Assessing the Bug-Proneness of Refactored Code: A Longitudinal Multi-Project Study
by: Ferreira, Isabella, et al.
Published: (2025)

An Empirical Study on the Impact of Code Duplication-aware Refactoring Practices on Quality Metrics
by: AlOmar, Eman Abdullah
Published: (2025)

Deciphering Refactoring Branch Dynamics in Modern Code Review: An Empirical Study on Qt
by: AlOmar, Eman Abdullah
Published: (2024)

An Empirical Study of Refactoring Engine Bugs
by: Wang, Haibo, et al.
Published: (2024)

Refactoring $\neq$ Bug-Inducing: Improving Defect Prediction with Code Change Tactics Analysis
by: Niu, Feifei, et al.
Published: (2025)

A Differential Fuzzing-Based Evaluation of Functional Equivalence in LLM-Generated Code Refactorings
by: Dristi, Simantika Bhattacharjee, et al.
Published: (2026)

Investigating Student Reasoning in Method-Level Code Refactoring: A Think-Aloud Study
by: Oliveira, Eduardo Carneiro, et al.
Published: (2024)

Improving Code Comprehension through Cognitive-Load Aware Automated Refactoring for Novice Programmers
by: Saha, Subarna, et al.
Published: (2026)

AI-Assisted Unit Test Writing and Test-Driven Code Refactoring: A Case Study
by: Smolic, Ema, et al.
Published: (2026)

Automated Unit Test Refactoring
by: Gao, Yi, et al.
Published: (2024)

Assessing the Impact of Refactoring Energy-Inefficient Code Patterns on Software Sustainability: An Industry Case Study
by: Mehra, Rohit, et al.
Published: (2025)

Build Code Needs Maintenance Too: A Study on Refactoring and Technical Debt in Build Systems
by: Ghammam, Anwar, et al.
Published: (2025)

Many-Objective Optimization of Non-Functional Attributes based on Refactoring of Software Models
by: Cortellessa, Vittorio, et al.
Published: (2023)

Securing P4 Programs by Information Flow Control
by: Alshnakat, Anoud, et al.
Published: (2025)

Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring
by: Tan, Ivan, et al.
Published: (2024)

From Restructuring to Stabilization: A Large-Scale Experiment on Iterative Code Readability Refactoring with Large Language Models
by: Peitek, Norman, et al.
Published: (2026)

How do Agents Refactor: An Empirical Study
by: Ottenhof, Lukas, et al.
Published: (2026)