The adoption of refactoring techniques for continuous integration received much less attention from the research community comparing to root-canal refactoring to fix the quality issues in the whole ...

A refactoring must preserve the program's functionality. However, not all refactorings are correct. Thus, preservation of the functionality must be checked. Since programs are rarely formally ...