Search For:

Displaying 1-4 out of 4 total
Automated Behavioral Testing of Refactoring Engines
Found in: IEEE Transactions on Software Engineering
By Gustavo Soares,Rohit Gheyi,Tiago Massoni
Issue Date:February 2013
pp. 147-162
Refactoring is a transformation that preserves the external behavior of a program and improves its internal quality. Usually, compilation errors and behavioral changes are avoided by preconditions determined for each refactoring transformation. However, to...
 
Analyzing Refactorings on Software Repositories
Found in: Software Engineering, Brazilian Symposium on
By Gustavo Soares,Bruno Catão,Catuxe Varjão,Solon Aguiar,Rohit Gheyi,Tiago Massoni
Issue Date:September 2011
pp. 164-173
Currently analysis of refactoring in software reposi- tories is either manual or only syntactic, which is time-consuming, error-prone, and non-scalable. Such analysis is useful to understand the dynamics of refactoring throughout development, especially in...
 
Making Program Refactoring Safer
Found in: IEEE Software
By Gustavo Soares, Rohit Gheyi, Dalton Serey, Tiago Massoni
Issue Date:July 2010
pp. 52-57
Developers rely on compilation, test suites, and tools to preserve observable behavior during refactoring. However, most refactoring tools don't implement all the preconditions that guarantee refactoring correctness because formally identifying them is cos...
 
A rigorous approach for proving model refactorings
Found in: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE '05)
By Paulo Borba, Rohit Gheyi, Tiago Massoni
Issue Date:November 2005
pp. 372-375
Both model and program refactorings are usually proposed in an ad hoc way because it is difficult to prove that they are sound with respect to a formal semantics. In this paper, we propose guidelines on how to rigorously prove model refactorings for Alloy,...
     
 1