An empirical comparison of AI assisted software refactoring tools. [PDF]
Recent advancements in Artificial Intelligence (AI) have led to the development of powerful assistant tools for coding, such as ChatGPT, Gemini, and Codeium.
Saba G +4 more
europepmc +2 more sources
Mechanical verification of refactorings [PDF]
In this paper we describe the formal verification of refactorings for untyped and typed lambda-calculi. This verification is performed in the proof assistant Isabelle/HOL. Refactorings are program transformations applied to improve the design of source code.
Nik Sultana, Simon J. Thompson
openaire +4 more sources
Complete Pathway Refactoring and Combinatorial Biosynthesis of Anthracyclines for Modulation of Histone Eviction and DNA Damage Bioactivities. [PDF]
A synthetic biology platform was established for the complete refactoring of complex anthracycline biosynthetic pathways in Streptomyces coelicolor using standardized, chemically synthetic DNA parts. This modular construction enabled streamlined combinatorial biosynthesis, yielding novel analogs that decouple DNA damage from chromatin damage (histone ...
Wang R +15 more
europepmc +3 more sources
What Refactoring Topics Do Developers Discuss? A Large Scale Empirical Study Using Stack Overflow
Due to the growing complexity of software systems, there has been a dramatic increase in research and industry demand on refactoring. Refactoring research nowadays addresses challenges beyond code transformation to include, but not limited to, scheduling
Chaima Abid +3 more
doaj +1 more source
Revisiting Scenarios of Using Refactoring Techniques to Improve Software Systems Quality
Refactoring is one of the most widely used techniques in practice to improve the quality of existing software. However, it is observed that refactoring does not continually improve all software quality attributes.
Abdullah Almogahed +4 more
doaj +1 more source
RMMOC: Refactoring Method based on Multi-Objective Algorithms and New Criteria [PDF]
Some factors can change the software and affect the quality, such as the new users' requirements and the need for compatibility with modern techniques. These factors impose a high cost on technical software maintenance. One of the techniques for software
Mohammad Reza Keyvanpour +2 more
doaj +1 more source
DL_FFLUX Refactored: Accelerating Quantum Chemical Topology Simulations With Optimized Parallelization. [PDF]
DL_FFLUX, which houses the quantum‐topological machine‐learning potential FFLUX, is refactored and computationally optimized through software‐level code optimization and prediction caching. The new implementation accelerates molecular dynamics simulations 93‐fold for the largest models while preserving accuracy.
Nosratjoo M, Bane MK, Popelier PLA.
europepmc +2 more sources
Refactoring Techniques for Improving Software Quality: Practitioners’ Perspectives
Refactoring is a critical task in software maintenance and is commonly applied to improve system design or to cope with design defects. There are 68 different types of refactoring techniques and each technique has a particular purpose and effect. However,
Abdullah Almogahed, Mazni Omar
doaj +1 more source
Optimized Refactoring Mechanisms to Improve Quality Characteristics in Object-Oriented Systems
Refactoring has emerged as a predominant approach to augmenting software product quality. However, empirical evidence suggests that not all dimensions of software quality experience unending enhancements through refactoring.
Abdullah Almogahed +5 more
doaj +1 more source
A model transformation approach to perform refactoring on software architecture using refactoring patterns based on stakeholder requirements [PDF]
Software Architecture (SA) generally has a considerable influence on software quality attributes. Coordination of software architecture to the requirements of the stakeholders and avoiding common mistakes and faults in designing SA increases the chance ...
Mohammad Tanhaei
doaj +1 more source

