Search For:

Displaying 1-8 out of 8 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...
 
Making Software Product Line Evolution Safer
Found in: 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS)
By Felype Ferreira,Paulo Borba,Gustavo Soares,Rohit Gheyi
Issue Date:September 2012
pp. 21-30
Developers evolve software product lines (SPLs) manually or using typical program refactoring tools. However, when evolving a product line to introduce new features or to improve its design, it is important to make sure that the behavior of existing produc...
 
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...
 
Identifying overly strong conditions in refactoring implementations
Found in: Software Maintenance, IEEE International Conference on
By Gustavo Soares,Melina Mongiovi,Rohit Gheyi
Issue Date:September 2011
pp. 173-182
Each refactoring implementation must check a number of conditions to guarantee behavior preservation. However, specifying and checking them are difficult. Sometimes refactoring tool developers may define overly strong conditions that prevent useful behavio...
 
Making program refactoring safer
Found in: Software Engineering, International Conference on
By Gustavo Soares
Issue Date:May 2010
pp. 521-522
Automated refactorings may change the program behavior. We propose an approach and its implementation called SafeRefactor for making program refactoring safer. We applied 10 Eclipse refactorings in a number of automatically generated programs, and used Saf...
 
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...
 
Automated behavioral testing of refactoring engines
Found in: Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity (SPLASH '12)
By Gustavo Soares Soares
Issue Date:October 2012
pp. 49-52
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. However, defining and implementing preconditions is a comp...
     
Automated behavioral testing of refactoring engines
Found in: Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity (SPLASH '12)
By Gustavo Soares
Issue Date:October 2012
pp. 105-106
Defining and implementing preconditions are non-trivial tasks. As a result, even mainstream refactoring engines contain critical bugs. We propose an automated approach for testing of Java refactoring engines. It has been useful for identifying more than 10...
     
 1