Refactoring Alloy Specifications. - Rohit Gheyi; Paulo Borba (WMF, 2003)

An Abstract Equivalence Notion for Object Models. - Rohit Gheyi; Tiago Massoni; Paulo Borba (SBMF, 2004)

A rigorous approach for proving model refactorings. - Rohit Gheyi; Tiago Massoni; Paulo Borba (ASE, 2005)

Formal refactorings for object models. - Rohit Gheyi; Tiago Massoni (OOPSLA Companion, 2005)

A model-driven approach to formal refactoring. - Tiago Massoni; Rohit Gheyi; Paulo Borba (OOPSLA Companion, 2005)

Formal Refactoring for UML Class Diagrams. - Tiago Massoni; Rohit Gheyi; Paulo Borba (SBES, 2005)

A Static Semantics for Alloy and its Impact in Refactorings. - Rohit Gheyi; Tiago Massoni; Paulo Borba (SBMF, 2005)

Refactoring product lines. - Vander Alves; Rohit Gheyi; Tiago Massoni; Uirá Kulesza; Paulo Borba; Carlos José Pereira de Lucena (GPCE, 2006)

An Approach to Invariant-based Program Refactoring. - Tiago Massoni; Rohit Gheyi; Paulo Borba (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. - Tiago Massoni; Rohit Gheyi; Paulo Borba (SBMF, 2006)

Requirement progression in problem frames: deriving specifications from requirements. - Robert Seater; Daniel Jackson 001; Rohit Gheyi (Requir. Eng., 2007)

Formal Model-Driven Program Refactoring. - Tiago Massoni; Rohit Gheyi; Paulo Borba (FASE, 2008)

Algebraic Laws for Feature Models. - Rohit Gheyi; Tiago Massoni; Paulo Borba (J. Univers. Comput. Sci., 2008)

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. - Mitsuo Takaki; Diego Cavalcanti; Rohit Gheyi; Juliano Iyoda; Marcelo d'Amorim; Ricardo Bastos Cavalcante Prudêncio (NASA Formal Methods, 2009)

A Complete Set of Object Modeling Laws for Alloy. - Rohit Gheyi; Tiago Massoni; Paulo Borba; Augusto Sampaio 001 (SBMF, 2009)

Object-oriented Programming Laws for Annotated Java Programs - Gabriel Falconieri Freitas; Márcio Cornélio; Tiago Massoni; Rohit Gheyi (RULE, 2009)

Synchronizing Model and Program Refactoring. - Tiago Massoni; Rohit Gheyi; Paulo Borba (SBMF, 2010)

Randomized constraint solvers: a comparative study. - Mitsuo Takaki; Diego Cavalcanti; Rohit Gheyi; Juliano Iyoda; Marcelo d'Amorim; Ricardo Bastos Cavalcante Prudêncio (Innov. Syst. Softw. Eng., 2010)

Making Program Refactoring Safer. - Gustavo Soares; Rohit Gheyi; Dalton Dario Serey; Tiago Massoni (IEEE Softw., 2010)

Identifying overly strong conditions in refactoring implementations. - Gustavo Soares; Melina Mongiovi; Rohit Gheyi (ICSM, 2011)

Analyzing Refactorings on Software Repositories. - Gustavo Soares; Bruno Catao; Catuxe Varjao; Solon Aguiar; Rohit Gheyi; Tiago Massoni (SBES, 2011)

Automatically Checking Feature Model Refactorings. - Rohit Gheyi; Tiago Massoni; Paulo Borba (J. Univers. Comput. Sci., 2011)

Making Software Product Line Evolution Safer. - Felype Ferreira; Paulo Borba; Gustavo Soares; Rohit Gheyi (SBCARS, 2012)

A theory of software product line refinement. - Paulo Borba; Leopoldo Teixeira; Rohit Gheyi (Theor. Comput. Sci., 2012)

Investigating preprocessor-based syntax errors. - Flávio Medeiros; Márcio Ribeiro 001; Rohit Gheyi (GPCE, 2013)

Live feedback on behavioral changes. - Gustavo Soares; Emerson R. Murphy-Hill; Rohit Gheyi (LIVE@ICSE, 2013)

Comparing approaches to analyze refactoring activity on software repositories. - Gustavo Soares; Rohit Gheyi; Emerson R. Murphy-Hill; Brittany Johnson (J. Syst. Softw., 2013)

Safe composition of configuration knowledge-based software product lines. - Leopoldo Teixeira; Paulo Borba; Rohit Gheyi (J. Syst. Softw., 2013)

Automated Behavioral Testing of Refactoring Engines. - Gustavo Soares; Rohit Gheyi; Tiago Massoni (IEEE Trans. Software Eng., 2013)

Scaling Testing of Refactoring Engines. - Melina Mongiovi; Gustavo Mendes; Rohit Gheyi; Gustavo Soares; Márcio Ribeiro 001 (ICSME, 2014)

Enhancing conformance checking for contract-based programs. - Alysson Milanez; Tiago Massoni; Rohit Gheyi (SPLASH (Companion Volume), 2014)

A Toolset for Checking SPL Refinements. - Felype Ferreira; Rohit Gheyi; Paulo Borba; Gustavo Soares (J. Univers. Comput. Sci., 2014)

A Catalogue of Refactorings to Remove Incomplete Annotations. - Flávio Medeiros; Márcio Ribeiro 001; Rohit Gheyi; Baldoino Fonseca dos Santos Neto (J. Univers. Comput. Sci., 2014)

Making refactoring safer through impact analysis. - Melina Mongiovi; Rohit Gheyi; Gustavo Soares; Leopoldo Teixeira; Paulo Borba (Sci. Comput. Program., 2014)

The Love/Hate Relationship with the C Preprocessor: An Interview Study. - Flávio Medeiros; Christian Kästner; Márcio Ribeiro 001; Sarah Nadi; Rohit Gheyi (ECOOP, 2015)

An empirical study on configuration-related issues: investigating undeclared and unused identifiers. - Flávio Medeiros; Iran Rodrigues; Márcio Ribeiro 001; Leopoldo Teixeira; Rohit Gheyi (GPCE, 2015)

A product line of theories for reasoning about safe evolution of product lines. - Leopoldo Teixeira; Vander Alves; Paulo Borba; Rohit Gheyi (SPLC, 2015)

Safe evolution of product populations and multi product lines. - Leopoldo Teixeira; Paulo Borba; Rohit Gheyi (SPLC, 2015)

The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact). - Flávio Medeiros; Christian Kästner; Márcio Ribeiro 001; Sarah Nadi; Rohit Gheyi (Dagstuhl Artifacts Ser., 2015)

Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013). - Rohit Gheyi; Juliano Iyoda (Sci. Comput. Program., 2015)

Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017. - Alessandro Garcia 001; Rohit Gheyi; Márcio Ribeiro 001; Sebastián Uchitel (ACM SIGSOFT Softw. Eng. Notes, 2015)

A change-centric approach to compile configurable systems with #ifdefs. - Larissa Braz; Rohit Gheyi; Melina Mongiovi; Márcio Ribeiro 001; Flávio Medeiros; Leopoldo Teixeira (GPCE, 2016)

A comparison of 10 sampling algorithms for configurable systems. - Flávio Medeiros; Christian Kästner; Márcio Ribeiro 001; Rohit Gheyi; Sven Apel (ICSE, 2016)

Does refactoring improve software structural quality? A longitudinal study of 25 projects. - Diego Cedrim; Leonardo da Silva Sousa; Alessandro F. Garcia 001; Rohit Gheyi (SBES, 2016)

Assessing fine-grained feature dependencies. - Iran Rodrigues; Márcio Ribeiro 001; Flávio Medeiros; Paulo Borba; Baldoino Fonseca; Rohit Gheyi (Inf. Softw. Technol., 2016)

Avoiding useless mutants. - Leonardo Fernandes; Márcio Ribeiro 001; Luiz Carvalho; Rohit Gheyi; Melina Mongiovi; André L. M. Santos; Ana Cavalcanti 001; Fabiano Cutigi Ferrari; José Carlos Maldonado (GPCE, 2017)

Learning syntactic program transformations from examples. - Reudismam Rolim; Gustavo Soares; Loris D'Antoni; Oleksandr Polozov; Sumit Gulwani; Rohit Gheyi; Ryo Suzuki 001; Björn Hartmann (ICSE, 2017)

Balancing soundness and efficiency for practical testing of configurable systems. - Sabrina Souto; Marcelo d'Amorim; Rohit Gheyi (ICSE, 2017)

The discipline of preprocessor-based annotations does #ifdef TAG n't #endif matter. - Romero Malaquias; Márcio Ribeiro 001; Rodrigo Bonifácio; Eduardo Monteiro; Flávio Medeiros; Alessandro Garcia 001; Rohit Gheyi (ICPC, 2017)

Understanding the impact of refactoring on smells: a longitudinal study of 23 software projects. - Diego Cedrim; Alessandro Garcia 001; Melina Mongiovi; Rohit Gheyi; Leonardo da Silva Sousa; Rafael Maiani de Mello; Baldoino Fonseca; Márcio Ribeiro 001; Alexander Chávez (ESEC/SIGSOFT FSE, 2017)

An idiom to represent data types in Alloy. - Rohit Gheyi; Paulo Borba; Augusto Sampaio 001; Márcio Ribeiro 001 (Inf. Softw. Technol., 2017)

Mutation Operators for Code Annotations. - Pedro Pinheiro; José Carlos Viana; Leonardo Fernandes; Márcio Ribeiro 001; Fabiano Cutigi Ferrari; Baldoino Fonseca; Rohit Gheyi (SAST, 2018)

Equivalent Mutants in Configurable Systems: An Empirical Study. - Luiz Carvalho; Marcio Augusto Guimarães; Márcio Ribeiro 001; Leonardo Fernandes; Mustafa Al-Hajjaji; Rohit Gheyi; Thomas Thüm (VaMoS, 2018)

A Qualitative Analysis of Variability Weaknesses in Configurable Systems with #ifdefs. - Raphael Muniz; Larissa Braz; Rohit Gheyi; Wilkerson de L. Andrade; Baldoino Fonseca; Márcio Ribeiro 001 (VaMoS, 2018)

A change-aware per-file analysis to compile configurable systems with #ifdefs. - Larissa Braz; Rohit Gheyi; Melina Mongiovi; Márcio Ribeiro 001; Flávio Medeiros; Leopoldo Teixeira; Sabrina Souto (Comput. Lang. Syst. Struct., 2018)

Learning Quick Fixes from Code Repositories. - Reudismam Rolim; Gustavo Soares; Rohit Gheyi; Loris D'Antoni (CoRR, 2018)

Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell. - Flávio Medeiros; Márcio Ribeiro 001; Rohit Gheyi; Sven Apel; Christian Kästner; Bruno Ferreira 007; Luiz Carvalho; Baldoino Fonseca (IEEE Trans. Software Eng., 2018)

Detecting Overly Strong Preconditions in Refactoring Engines. - Melina Mongiovi; Rohit Gheyi; Gustavo Soares; Márcio Ribeiro 001; Paulo Borba; Leopoldo Teixeira (IEEE Trans. Software Eng., 2018)

Java reflection API: revealing the dark side of the mirror. - Felipe Pontes; Rohit Gheyi; Sabrina Souto; Alessandro Garcia 001; Márcio Ribeiro 001 (ESEC/SIGSOFT FSE, 2019)

Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study. - Karine Gomes; Leopoldo Teixeira; Thayonara Alves; Márcio Ribeiro 001; Rohit Gheyi (VaMoS, 2019)

An investigation of misunderstanding code patterns in C open-source software projects. - Flávio Medeiros; Gabriel Lima; Guilherme Amaral; Sven Apel; Christian Kästner; Márcio Ribeiro 001; Rohit Gheyi (Empir. Softw. Eng., 2019)

Revisiting the refactoring mechanics. - Jonhnanthan Oliveira; Rohit Gheyi; Melina Mongiovi; Gustavo Soares; Márcio Ribeiro 001; Alessandro Garcia 001 (Inf. Softw. Technol., 2019)

Is Exceptional Behavior Testing an Exception?: An Empirical Assessment Using Java Automated Tests. - Francisco Dalton; Márcio Ribeiro 001; Gustavo Pinto 001; Leonardo Fernandes; Rohit Gheyi; Baldoino Fonseca (EASE, 2020)

Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. - Marcio Augusto Guimarães; Leonardo Fernandes; Márcio Ribeiro 001; Marcelo d'Amorim; Rohit Gheyi (ICST, 2020)

Refactoring and Active Object Languages. - Volker Stolz; Violet Ka I Pun; Rohit Gheyi (ISoLA (2), 2020)

How Does Incomplete Composite Refactoring Affect Internal Quality Attributes? - Ana Carla Bibiano; Vinícius Soares; Daniel Coutinho; Eduardo Fernandes; João Lucas Correia; Kleber Santos; Anderson Oliveira; Alessandro Garcia 001; Rohit Gheyi; Baldoino Fonseca; Márcio Ribeiro 001; Caio Barbosa; et al. (ICPC, 2020)

Refactoring Test Smells: A Perspective from Open-Source Developers. - Elvys Soares; Márcio Ribeiro 001; Guilherme Amaral; Rohit Gheyi; Leo Fernandes; Alessandro Garcia 001; Baldoino Fonseca; André L. M. Santos (SAST, 2020)

Understanding and Detecting Harmful Code. - Rodrigo Lima 002; Jairo Souza; Baldoino Fonseca; Leopoldo Teixeira; Rohit Gheyi; Márcio Ribeiro 001; Alessandro F. Garcia 001; Rafael Maiani de Mello (SBES, 2020)

An Empirical Study on Configuration-Related Code Weaknesses. - Flávio Medeiros; Márcio Ribeiro 001; Rohit Gheyi; Larissa Braz; Christian Kästner; Sven Apel; Kleber Santos (SBES, 2020)

Atoms of Confusion: The Eyes Do Not Lie. - Benedito de Oliveira; Márcio Ribeiro 001; José Aldo Silva da Costa; Rohit Gheyi; Guilherme Amaral; Rafael Maiani de Mello; Anderson Oliveira; Alessandro F. Garcia 001; Rodrigo Bonifácio; Baldoino Fonseca (SBES, 2020)

Revisiting Refactoring Mechanics from Tool Developers' Perspective. - Jonhnanthan Oliveira; Rohit Gheyi; Felipe Pontes; Melina Mongiovi; Márcio Ribeiro 001; Alessandro F. Garcia 001 (SBMF, 2020)

Safe Evolution of Product Lines Using Configuration Knowledge Laws. - Leopoldo Teixeira; Rohit Gheyi; Paulo Borba (SBMF, 2020)

Brazilian Data Scientists: Revealing their Challenges and Practices on Machine Learning Model Development. - João Lucas Correia; Juliana Alves Pereira; Rafael Maiani de Mello; Alessandro Garcia 001; Baldoino Fonseca; Márcio Ribeiro 001; Rohit Gheyi; Marcos Kalinowski; Renato Cerqueira; Willy Tiengo (SBQS, 2020)

On Relating Technical, Social Factors, and the Introduction of Bugs. - Filipe Falcão; Caio Barbosa; Baldoino Fonseca; Alessandro Garcia 001; Márcio Ribeiro 001; Rohit Gheyi (SANER, 2020)

Mutating code annotations: An empirical evaluation on Java and C# programs. - Pedro Pinheiro; José Carlos Viana; Márcio Ribeiro 001; Leonardo Fernandes; Fabiano Cutigi Ferrari; Rohit Gheyi; Baldoino Fonseca (Sci. Comput. Program., 2020)

Decoding Confusing Code: Social Representations among Developers. - Rafael Maiani de Mello; José Aldo Silva da Costa; Benedito de Oliveira; Márcio Ribeiro 001; Baldoino Fonseca; Rohit Gheyi; Alessandro F. Garcia 001; Willy Tiengo (CHASE@ICSE, 2021)

Look Ahead! Revealing Complete Composite Refactorings and their Smelliness Effects. - Ana Carla Bibiano; Wesley K. G. Assunção; Daniel Coutinho; Kleber Santos; Vinícius Soares; Rohit Gheyi; Alessandro Garcia 001; Baldoino Fonseca; Márcio Ribeiro 001; Daniel Oliveira 005; Caio Barbosa; João Lucas Marques; et al. (ICSME, 2021)

Learning Quick Fixes from Code Repositories. - Reudismam Rolim de Sousa; Gustavo Soares; Rohit Gheyi; Titus Barik; Loris D'Antoni (SBES, 2021)

TSDolly: A program generator for TypeScript. - Gabriela Araujo Britto; Leopoldo Teixeira; Rohit Gheyi (SBLP, 2021)

Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices. - José Aldo Silva da Costa; Rohit Gheyi; Márcio Ribeiro 001; Sven Apel; Vander Alves; Baldoino Fonseca; Flávio Medeiros; Alessandro Garcia 001 (Empir. Softw. Eng., 2021)

Identifying method-level mutation subsumption relations using Z3. - Rohit Gheyi; Márcio Ribeiro 001; Beatriz Souza; Marcio Augusto Guimarães; Leo Fernandes; Marcelo d'Amorim; Vander Alves; Leopoldo Teixeira; Baldoino Fonseca (Inf. Softw. Technol., 2021)

A Formal Framework of Software Product Line Analyses. - Thiago M. Castro; Leopoldo Teixeira; Vander Alves; Sven Apel; Maxime Cordy; Rohit Gheyi (ACM Trans. Softw. Eng. Methodol., 2021)

Mutation Operators for Java Streams. - Manoel Aranda III; Elvys Soares; Márcio Ribeiro 001; Fabiano Cutigi Ferrari; Rohit Gheyi; Arthur Lima (SAST, 2022)

Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing. - Leo Fernandes; Márcio Ribeiro 001; Rohit Gheyi; Márcio E. Delamaro; Marcio Augusto Guimarães; André L. M. Santos (SBES, 2022)

A Technique to Test Refactoring Detection Tools. - Osmar Leandro; Rohit Gheyi; Leopoldo Teixeira; Márcio Ribeiro 001; Alessandro F. Garcia 001 (SBES, 2022)

Lint-Based Warnings in Python Code: Frequency, Awareness and Refactoring. - Naelson Oliveira; Márcio Ribeiro 001; Rodrigo Bonifácio; Rohit Gheyi; Igor Wiese; Baldoino Fonseca (SCAM, 2022)

Developers' viewpoints to avoid bug-introducing changes. - Jairo Souza; Rodrigo Lima 002; Baldoino Fonseca; Bruno Cartaxo; Márcio Ribeiro 001; Gustavo Pinto 001; Rohit Gheyi; Alessandro Garcia 001 (Inf. Softw. Technol., 2022)

Manual Tests Do Smell! Cataloging and Identifying Natural Language Test Smells. - Elvys Soares; Manoel Aranda III; Naelson Oliveira; Márcio Ribeiro 001; Rohit Gheyi; Emerson Souza; Ivan Machado 001; André L. M. Santos; Baldoino Fonseca; Rodrigo Bonifácio (ESEM, 2023)

The untold story of code refactoring customizations in practice. - Daniel Oliveira 005; Wesley K. G. Assunção; Alessandro F. Garcia 001; Ana Carla Bibiano; Márcio Ribeiro 001; Rohit Gheyi; Baldoino Fonseca (ICSE, 2023)

Evaluating the Code Comprehension of Novices with Eye Tracking. - José Aldo Silva da Costa; Rohit Gheyi (SBQS, 2023)

Seeing confusion through a new lens: on the impact of atoms of confusion on novices' code comprehension. - José Aldo Silva da Costa; Rohit Gheyi; Fernando Castor; Pablo Roberto Fernandes de Oliveira; Márcio Ribeiro 001; Baldoino Fonseca (Empir. Softw. Eng., 2023)

Towards a better understanding of the mechanics of refactoring detection tools. - Jonhnanthan Oliveira; Rohit Gheyi; Leopoldo Teixeira; Márcio Ribeiro 001; Osmar Leandro; Baldoino Fonseca (Inf. Softw. Technol., 2023)

Refactoring Test Smells With JUnit 5: Why Should Developers Keep Up-to-Date? - Elvys Soares; Márcio Ribeiro 001; Rohit Gheyi; Guilherme Amaral; André L. M. Santos (IEEE Trans. Software Eng., 2023)

A Catalog of Transformations to Remove Smells From Natural Language Tests. - Manoel Aranda III; Naelson Oliveira; Elvys Soares; Márcio Ribeiro 001; Davi Romão; Ullyanne Patriota; Rohit Gheyi; Emerson Souza; Ivan Machado 001 (EASE, 2024)

Assessing Python Style Guides: An Eye-Tracking Study with Novice Developers. - Pablo Roberto 001; Rohit Gheyi; José Aldo Silva da Costa; Márcio Ribeiro 001 (SBES, 2024)

Evaluating the Capability of LLMs in Identifying Compilation Errors in Configurable Systems. - Lucas Albuquerque; Rohit Gheyi; Márcio Ribeiro 001 (SBES, 2024)

Evaluating Large Language Models in Detecting Test Smells. - Keila Lucas; Rohit Gheyi; Elvys Soares; Márcio Ribeiro 001; Ivan Machado 001 (SBES, 2024)

A Road to Find Them All: Towards an Agnostic Strategy for Test Smell Detection. - Gustavo Lopes; Davi Romão; Elvys Soares; Márcio Ribeiro 001; Guilherme Amaral; Rohit Gheyi; Ivan Machado 001 (SBQS, 2024)

Reducing Manual Efforts in Equivalence Analysis in Mutation Testing. - Samuel Amorim; Leo Fernandes; Márcio Ribeiro 001; Rohit Gheyi; Márcio E. Delamaro; Marcio Augusto Guimarães; André L. M. Santos (J. Softw. Eng. Res. Dev., 2024)

Investigating the Social Representations of Harmful Code. - Rodrigo Lima 002; Jairo Souza; Baldoino Fonseca; Leopoldo Teixeira; Rafael Maiani de Mello; Márcio Ribeiro 001; Rohit Gheyi; Alessandro F. Garcia 001 (J. Softw. Eng. Res. Dev., 2024)

Evaluating the Effectiveness of Small Language Models in Detecting Refactoring Bugs. - Rohit Gheyi; Márcio Ribeiro 001; Jonhnanthan Oliveira (CoRR, 2025)

Agentic SLMs: Hunting Down Test Smells. - Rian Melo; Pedro Simões; Rohit Gheyi; Marcelo d'Amorim; Márcio Ribeiro 001; Gustavo Soares; Eduardo Almeida; Elvys Soares (CoRR, 2025)

Code Generation with Small Language Models: A Deep Evaluation on Codeforces. - Débora Souza; Rohit Gheyi; Lucas Albuquerque; Gustavo Soares; Márcio Ribeiro 001 (CoRR, 2025)

Assessing the Capability of LLMs in Solving POSCOMP Questions. - Cayo Viegas; Rohit Gheyi; Márcio Ribeiro 001 (CoRR, 2025)

Bugs in the Shadows: Static Detection of Faulty Python Refactorings. - Jonhnanthan Oliveira; Rohit Gheyi; Márcio Ribeiro 001; Alessandro F. Garcia 001 (CoRR, 2025)

RefModel: Detecting Refactorings using Foundation Models. - Pedro Simões; Rohit Gheyi; Rian Melo; Jonhnanthan Oliveira; Márcio Ribeiro 001; Wesley K. G. Assunção (CoRR, 2025)

Investigating the Performance of Small Language Models in Detecting Test Smells in Manual Test Cases. - Keila Lucas; Rohit Gheyi; Márcio Ribeiro 001; Fabio Palomba; Luana Almeida Martins; Elvys Soares (CoRR, 2025)