CS Store Search
Displaying 1-4 out of 4 total
Automated Behavioral Testing of Refactoring Engines
IEEE Transactions on Software Engineering
By Gustavo Soares,Rohit Gheyi,Tiago Massoni
Issue Date:February 2013
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
Software Engineering, Brazilian Symposium on
By Gustavo Soares,Bruno Catão,Catuxe Varjão,Solon Aguiar,Rohit Gheyi,Tiago Massoni
Issue Date:September 2011
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
By Gustavo Soares, Rohit Gheyi, Dalton Serey, Tiago Massoni
Issue Date:July 2010
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
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,...
Original Search Engine
Need a Web Account?
Become a Member
This site and all contents (unless otherwise noted) are Copyright ©2008, IEEE, Inc. All rights reserved.