2013

Automated Behavioral Testing of Refactoring Engines. Gustavo Soares, Rohit Gheyi and Tiago Massoni. IEEE Transactions on Software Engineering, 2013. (BIB) (pdf)

Comparing Approaches to Analyze Refactoring Activity on Software Repositories. Gustavo Soares, Rohit Gheyi, Emerson Murphy-Hill and Brittany Johnson. Journal of Systems and Software, 2013. (BIB) (pdf)

Safe composition of configuration knowledge-based software product lines. Leopoldo Teixeira, Paulo Borba and Rohit Gheyi. Journal of Systems and Software, 2013. (BIB) (pdf)

Live Feedback on Behavioral Changes. Gustavo Soares, Emerson Murphy-Hill and Rohit Gheyi. In LIVE: First International Workshop on Live Programming, 2013. (BIB) (pdf)

2012

A theory of software product line refinement. Borba, Paulo, Teixeira, Leopoldo and Gheyi, Rohit. Theoretical Computer Science, 2012. (. To appear.). (BIB) (pdf)

Making Software Product Line Evolution Safer. Felype Ferreira, Paulo Borba, Gustavo Soares and Rohit Gheyi. In SBCARS ' 06: VI Brazilian Symposium on Software Components, Architectures and Reuse, 2012. (BIB) (pdf)

Formal Specification and Verification of Well-formedness in Business Process Product Lines. Machado, Giselle, Alves, Vander and Gheyi, Rohit. In 6th Latin-American Workshop on Aspect-Oriented Software Development, 2012. (to appear). (BIB) (pdf)

Automated Behavioral Testing of Refactoring Engines. Soares, Gustavo. In SPLASH '12: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, 2012. (ACM Student Research Competition). (BIB) (pdf)

Automated Behavioral Testing of Refactoring Engines. Soares, Gustavo. In SPLASH '12: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, 2012. (Doctoral Symposium). (BIB) (pdf)

2011

Safira: a tool for evaluating behavior preservation. Mongiovi, Melina. In Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, pages 213-214, New York, NY, USA, 2011. (URL) (BIB) (pdf)

Automatically Checking Feature Model Refactorings. Rohit Gheyi, Tiago Massoni and Paulo Borba. Journal of Universal Computer Science (JUCS), 17:684-711, 2011. (BIB) (pdf)

Identifying overly strong conditions in refactoring implementations. Gustavo Soares, Melina Mongiovi and Rohit Gheyi. In ICSM '11: 27th IEEE International Conference on Software Maintenance, pages 173-182, 2011. (BIB) (pdf)

Safe Composition of Configuration Knowledge-based Software Product Lines. Leopoldo Teixeira, Paulo Borba and Rohit Gheyi. In SBES ' 11: XXV Brazilian Symposium on Software Engineering, 2011. (To appear). (BIB) (pdf)

Analyzing Refactoring on Software Repositories. Gustavo Soares, Bruno Catão, Catuxe Varjão, Solon Aguiar, Rohit Gheyi and Tiago Massoni. In SBES ' 11: XXV Brazilian Symposium on Software Engineering, 2011. (BIB) (pdf)

Making aspect-oriented refactoring safer. Gustavo Soares, Diego Cavalcanti and Rohit Gheyi. In SBLP '11: XV Brazilian Symposium on Programming Languages, 2011. (To appear). (BIB) (pdf)

JMLok: Uma Ferramenta para Verificar Conformidade em Programas Java/JML. Catuxe Varjão, Rohit Gheyi, Tiago Massoni and Gustavo Soares. In CBSoft ' 11: 2nd Brazilian Conference on Software: Theory and Practice (Tools session), 2011. (To appear). (BIB) (pdf)

Making Program Refactoring Safer. Gustavo Soares. In In CSBC 2011: Congresso da Sociedade Brasileira de Computação (Concurso de teses e dissertações - CTD 2011), 2011. (BIB) (pdf)

2010

Making Program Refactoring Safer. Gustavo Soares, Rohit Gheyi, Dalton Serey and Tiago Massoni. IEEE Software, 27:52-57, 2010. (BIB) (pdf)

A Theory of Software Product Line Refinement. Paulo Borba, Leopoldo Teixeira and Rohit Gheyi. In International Colloquium on Theoretical Aspects of Computing (ICTAC), pages 15-43, 2010. (BIB) (pdf)

Synchronizing Model and Program Refactoring. Tiago Massoni, Rohit Gheyi and Paulo Borba. Technical Report, 2010. (BIB) (pdf)

Making program refactoring safer. Soares, Gustavo. In CLEI '10: Proceedings of the XXXVI Latin-American Informatics Conference CLEI 2010 (First Prize of the XVII Latin-American Master’s Thesis Contest CLTM 2010), 2010. (to appear). (BIB) (pdf)

Making program refactoring safer. Soares, Gustavo. In ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (Student Research Competition), pages 521-522, New York, NY, USA, 2010. (BIB) (pdf)

Randomized Constraint Solvers: a Comparative Study. Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim and Ricardo Prudencio. In Innovations in Systems and Software Engineering, pages 243-253, 2010. (BIB) (pdf)

Object-oriented Programming Laws for Annotated Java Programs. Freitas, Gabriel Falconieri, Cornelio, Marcio, Massoni, Tiago and Gheyi, Rohit. EPTCS, Tenth International Workshop on Rule-Based Programming, 21:65-76, 2010. (BIB) (pdf)

2009

Generating Unit Tests for Checking Refactoring Safety. Gustavo Soares, Rohit Gheyi, Tiago Massoni and Marcio Cornelio and Diego Cavalcanti. In Brazilian Symposium on Programming Languages (SBLP), pages 159-172, Gramado, Brazil, 2009. (BIB) (pdf)

SafeRefactor - Tool for Checking Refactoring Safety. Gustavo Soares, Diego Cavalcanti, Rohit Gheyi, Tiago Massoni and Dalton Serey and Marcio Cornelio. In Tools Session at Brazilian Symposium on Software Engineering, pages 49-54, Fortaleza, Brazil, 2009. (BIB) (pdf)

Improving safety when refactoring aspect-oriented programs. Cavalcanti, Diego. In Student Research Competition at OOPSLA '09: Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pages 741-742, New York, NY, USA, 2009. (BIB) (pdf)

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda and Marcelo d'Amorim and Ricardo Prudencio. In NASA Formal Methods Symposium, pages 56-65, Moffett Field, USA, 2009. (BIB) (pdf)

A Design Rule Language for Aspect-Oriented Programming. Alberto Costa Neto, Arthur Marques, Rohit Gheyi and Paulo Borba and Fernando Castor Filho. In XIII Brazilian Symposium on Programming Languages, pages 131-144, 2009. (BIB) (pdf)

A Complete Set of Object Modeling Laws for Alloy. Rohit Gheyi, Tiago Massoni, Paulo Borba and Augusto Sampaio. In 12th Brazilian Symposium on Formal Methods, pages 204-219, 2009. (BIB) (pdf)

Uma Linguagem para Especificação de Regras de Design para Programas Orientados a Aspectos. Arthur Marques and Rohit Gheyi. In Revista eletrônica de Iniciação Científica (REIC), 2009. (BIB) (pdf)