A survey of refactoring detection techniques based on change history analysis
Refactoring is the process of changing a software system in such a way that it does not alter
the external behavior of the code yet improves its internal structure. Not only researchers …
the external behavior of the code yet improves its internal structure. Not only researchers …
Specification and verification of model transformations
Abstract Model transformations are a key concept within model driven development and
there is an enormous need for suitable formal analysis techniques for model …
there is an enormous need for suitable formal analysis techniques for model …
Showing full semantics preservation in model transformation-a comparison of techniques
Abstract Model transformation is a prime technique in modern, model-driven software
design. One of the most challenging issues is to show that the semantics of the models is not …
design. One of the most challenging issues is to show that the semantics of the models is not …
Behavior preservation in model refactoring using DPO transformations with borrowed contexts
Behavior preservation, namely the fact that the behavior of a model is not altered by the
transformations, is a crucial property in refactoring. The most common approaches to …
transformations, is a crucial property in refactoring. The most common approaches to …
A case study to evaluate the suitability of graph transformation tools for program refactoring
This article proposes a case study to evaluate the suitability of graph transformation tools for
program refactoring. To qualify for this purpose, a graph transformation system must be able …
program refactoring. To qualify for this purpose, a graph transformation system must be able …
Search-based refactoring detection from source code revisions
This paper proposes a technique for detecting the occurrences of refactoring from source
code revisions. In a real software development process, a refactoring operation may …
code revisions. In a real software development process, a refactoring operation may …
Surpassing Threshold Barriers: Evaluating the Efficacy of Nature-Inspired Algorithms in Detecting Applied Refactorings
I Hemati Moghadam, M Sleurink… - Proceedings of the 2024 …, 2024 - dl.acm.org
Refactoring is a pervasive activity in software development, and identifying refactorings
applied to a program is crucial to understand its evolution. Currently, automated tool support …
applied to a program is crucial to understand its evolution. Currently, automated tool support …
[PDF][PDF] A case study for program refactoring
B Hoffman, J Pérez, T Mens - Gra-BaTs (September 2008), 2008 - academia.edu
This paper proposes a case for the GraBaTs' 08 tool contest. The graph transformation
system to be implemented shall (i) import a graph-based representation of models of Java …
system to be implemented shall (i) import a graph-based representation of models of Java …
Detecting occurrences of refactoring with heuristic search
This paper proposes a novel technique to detect the occurrences of refactoring from a
version archive, in order to reduce the effort spent in understanding what modifications have …
version archive, in order to reduce the effort spent in understanding what modifications have …
Full semantics preservation in model transformation-a comparison of proof techniques
Abstract Model transformation is a prime technique in modern, model-driven software
design. One of the most challenging issues is to show that the semantics of the models is not …
design. One of the most challenging issues is to show that the semantics of the models is not …