Rohit Gheyi

130 papers A* 5A 11B 9C 3Journal 54Unranked 46
YearRankTypeTitle / Venue / Authors
2026 B conf
Adoption of Large Language Models in Scrum Management: Insights from Brazilian Practitioners.
XP
Mirko Perkusich, Danyllo Albuquerque, Allysson Allex Araújo, Matheus Paixão, Rohit Gheyi, Marcos Kalinowski, Angelo Perkusich
2026 J jnl
Adoption of Large Language Models in Scrum Management: Insights from Brazilian Practitioners.
CoRR
Mirko Perkusich, Danyllo Albuquerque, Allysson Allex Araújo, Matheus Paixão, Rohit Gheyi, Marcos Kalinowski, Angelo Perkusich
2026 J jnl
Agentic LMs: Hunting Down Test Smells.
IEEE Softw.
Rian Melo, Pedro Simões, Rohit Gheyi, Marcelo d'Amorim, Márcio Ribeiro, Gustavo Soares, Eduardo Santana de Almeida, Elvys Soares
2026 J jnl
Refactoring for Novices in Java: An Eye Tracking Study on the Extract vs. Inline Methods.
CoRR
José Aldo Silva da Costa, Rohit Gheyi, José Júnior Silva da Costa, Márcio Ribeiro, Rodrigo Bonifácio, Hyggo Oliveira de Almeida, Ana Carla Bibiano, Alessandro F. Garcia
2026 J jnl
Refactoring for novices in Java: An eye tracking study on the extract vs. inline methods.
J. Syst. Softw.
José Aldo Silva da Costa, Rohit Gheyi, José Júnior Silva da Costa, Márcio Ribeiro, Rodrigo Bonifácio, Hyggo O. Almeida, Ana Carla Bibiano, Alessandro F. Garcia
2026 J jnl
Variability-Aware Detection and Repair of Compilation Errors Using Foundation Models in Configurable Systems.
CoRR
Rohit Gheyi, Lucas Albuquerque, Márcio Ribeiro, Eduardo Almeida, Danyllo Albuquerque, Mirko Perkusich
2025 J jnl
Agentic SLMs: Hunting Down Test Smells.
CoRR
Rian Melo, Pedro Simões, Rohit Gheyi, Marcelo d'Amorim, Márcio Ribeiro, Gustavo Soares, Eduardo Almeida, Elvys Soares
2025 J jnl
Assessing the Capability of LLMs in Solving POSCOMP Questions.
CoRR
Cayo Viegas, Rohit Gheyi, Márcio Ribeiro
2025 J jnl
Assessing the Capability of LLMs in Solving POSCOMP Questions.
J. Braz. Comput. Soc.
Cayo Viegas, Rohit Gheyi, Márcio Ribeiro
2025 — conf
Bugs in the Shadows: Static Detection of Faulty Python Refactorings.
SBES
Jonhnanthan Oliveira, Rohit Gheyi, Márcio Ribeiro, Alessandro Garcia
2025 J jnl
Bugs in the Shadows: Static Detection of Faulty Python Refactorings.
CoRR
Jonhnanthan Oliveira, Rohit Gheyi, Márcio Ribeiro, Alessandro F. Garcia
2025 C conf
Code Generation with Small Language Models: A Codeforces-Based Study.
ICMLA
Débora Souza, Rohit Gheyi, Lucas Albuquerque, Gustavo Soares, Márcio Ribeiro
2025 J jnl
Code Generation with Small Language Models: A Deep Evaluation on Codeforces.
CoRR
Débora Souza, Rohit Gheyi, Lucas Albuquerque, Gustavo Soares, Márcio Ribeiro
2025 J jnl
Evaluating the Effectiveness of Small Language Models in Detecting Refactoring Bugs.
CoRR
Rohit Gheyi, Márcio Ribeiro, Jonhnanthan Oliveira
2025 — conf
Investigating the Performance of Small Language Models in Detecting Test Smells in Manual Test Cases.
SBES
Keila Lucas, Rohit Gheyi, Márcio Ribeiro, Fabio Palomba, Luana Almeida Martins, Elvys Soares
2025 J jnl
Investigating the Performance of Small Language Models in Detecting Test Smells in Manual Test Cases.
CoRR
Keila Lucas, Rohit Gheyi, Márcio Ribeiro, Fabio Palomba, Luana Almeida Martins, Elvys Soares
2025 A conf
On the Harmfulness of Test Smells in Manual System Testing: A Controlled Experiment.
ESEM
Gabriela Soares, Vanessa Santos, Márcio Ribeiro, Luana Almeida Martins, Valeria Pontillo, Manoel Aranda III, Rohit Gheyi, Ivan Machado, Fabio Palomba
2025 — ed.
Proceedings of the 10th Brazilian Symposium on Systematic and Automated Software Testing, SAST 2025, Recife, Brazil, September 22, 2025
SAST
Fabiano Ferrari, Rohit Gheyi
2025 — conf
RefModel: Detecting Refactorings using Foundation Models.
SBES
Pedro Simões, Rohit Gheyi, Rian Melo, Jonhnanthan Oliveira, Márcio Ribeiro, Wesley K. G. Assunção
2025 J jnl
RefModel: Detecting Refactorings using Foundation Models.
CoRR
Pedro Simões, Rohit Gheyi, Rian Melo, Jonhnanthan Oliveira, Márcio Ribeiro, Wesley K. G. Assunção
2024 A conf
A Catalog of Transformations to Remove Smells From Natural Language Tests.
EASE
Manoel Aranda III, Naelson Oliveira, Elvys Soares, Márcio Ribeiro, Davi Romão, Ullyanne Patriota, Rohit Gheyi, Emerson Souza, Ivan Machado
2024 J jnl
A Catalog of Transformations to Remove Smells From Natural Language Tests.
CoRR
Manoel Aranda III, Naelson Oliveira, Elvys Soares, Márcio Ribeiro, Davi Romão, Ullyanne Patriota, Rohit Gheyi, Emerson Souza, Ivan Machado
2024 — conf
A Road to Find Them All: Towards an Agnostic Strategy for Test Smell Detection.
SBQS
Gustavo Lopes, Davi Romão, Elvys Soares, Márcio Ribeiro, Guilherme Amaral, Rohit Gheyi, Ivan Machado
2024 — conf
Assessing Python Style Guides: An Eye-Tracking Study with Novice Developers.
SBES
Pablo Roberto, Rohit Gheyi, José Aldo Silva da Costa, Márcio Ribeiro
2024 J jnl
Assessing Python Style Guides: An Eye-Tracking Study with Novice Developers.
CoRR
Pablo Roberto, Rohit Gheyi, José Aldo Silva da Costa, Márcio Ribeiro
2024 — conf
Evaluating Large Language Models in Detecting Test Smells.
SBES
Keila Lucas, Rohit Gheyi, Elvys Soares, Márcio Ribeiro, Ivan Machado
2024 J jnl
Evaluating Large Language Models in Detecting Test Smells.
CoRR
Keila Lucas, Rohit Gheyi, Elvys Soares, Márcio Ribeiro, Ivan Machado
2024 — conf
Evaluating the Capability of LLMs in Identifying Compilation Errors in Configurable Systems.
SBES
Lucas Albuquerque, Rohit Gheyi, Márcio Ribeiro
2024 J jnl
Evaluating the Capability of LLMs in Identifying Compilation Errors in Configurable Systems.
CoRR
Lucas Albuquerque, Rohit Gheyi, Márcio Ribeiro
2024 J jnl
Investigating the Social Representations of Harmful Code.
J. Softw. Eng. Res. Dev.
Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rafael Maiani de Mello, Márcio Ribeiro, Rohit Gheyi, Alessandro F. Garcia
2024 J jnl
Reducing Manual Efforts in Equivalence Analysis in Mutation Testing.
J. Softw. Eng. Res. Dev.
Samuel Amorim, Leo Fernandes, Márcio Ribeiro, Rohit Gheyi, Márcio E. Delamaro, Marcio Augusto Guimarães, André L. M. Santos
2023 — conf
Evaluating the Code Comprehension of Novices with Eye Tracking.
SBQS
José Aldo Silva da Costa, Rohit Gheyi
2023 A conf
Manual Tests Do Smell! Cataloging and Identifying Natural Language Test Smells.
ESEM
Elvys Soares, Manoel Aranda III, Naelson Oliveira, Márcio Ribeiro, Rohit Gheyi, Emerson Souza, Ivan Machado, André L. M. Santos, Baldoino Fonseca, Rodrigo Bonifácio
2023 J jnl
Manual Tests Do Smell! Cataloging and Identifying Natural Language Test Smells.
CoRR
Elvys Soares, Manoel Aranda III, Naelson Oliveira, Márcio Ribeiro, Rohit Gheyi, Emerson Souza, Ivan Machado, André L. M. Santos, Baldoino Fonseca, Rodrigo Bonifácio
2023 J jnl
Refactoring Test Smells With JUnit 5: Why Should Developers Keep Up-to-Date?
IEEE Trans. Software Eng.
Elvys Soares, Márcio Ribeiro, Rohit Gheyi, Guilherme Amaral, André L. M. Santos
2023 J jnl
Seeing confusion through a new lens: on the impact of atoms of confusion on novices' code comprehension.
Empir. Softw. Eng.
José Aldo Silva da Costa, Rohit Gheyi, Fernando Castor, Pablo Roberto Fernandes de Oliveira, Márcio Ribeiro, Baldoino Fonseca
2023 A* conf
The untold story of code refactoring customizations in practice.
ICSE
Daniel Oliveira, Wesley K. G. Assunção, Alessandro F. Garcia, Ana Carla Bibiano, Márcio Ribeiro, Rohit Gheyi, Baldoino Fonseca
2023 J jnl
Towards a better understanding of the mechanics of refactoring detection tools.
Inf. Softw. Technol.
Jonhnanthan Oliveira, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Osmar Leandro, Baldoino Fonseca
2022 — conf
A Technique to Test Refactoring Detection Tools.
SBES
Osmar Leandro, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Alessandro F. Garcia
2022 J jnl
Developers' viewpoints to avoid bug-introducing changes.
Inf. Softw. Technol.
Jairo Souza, Rodrigo Lima, Baldoino Fonseca, Bruno Cartaxo, Márcio Ribeiro, Gustavo Pinto, Rohit Gheyi, Alessandro Garcia
2022 C conf
Lint-Based Warnings in Python Code: Frequency, Awareness and Refactoring.
SCAM
Naelson Oliveira, Márcio Ribeiro, Rodrigo Bonifácio, Rohit Gheyi, Igor Wiese, Baldoino Fonseca
2022 — conf
Mutation Operators for Java Streams.
SAST
Manoel Aranda III, Elvys Soares, Márcio Ribeiro, Fabiano Cutigi Ferrari, Rohit Gheyi, Arthur Lima
2022 — conf
Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing.
SBES
Leo Fernandes, Márcio Ribeiro, Rohit Gheyi, Márcio E. Delamaro, Marcio Augusto Guimarães, André L. M. Santos
2021 J jnl
A Formal Framework of Software Product Line Analyses.
ACM Trans. Softw. Eng. Methodol.
Thiago M. Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, Rohit Gheyi
2021 — conf
Decoding Confusing Code: Social Representations among Developers.
CHASE@ICSE
Rafael Maiani de Mello, José Aldo Silva da Costa, Benedito de Oliveira, Márcio Ribeiro, Baldoino Fonseca, Rohit Gheyi, Alessandro F. Garcia, Willy Tiengo
2021 J jnl
Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices.
Empir. Softw. Eng.
José Aldo Silva da Costa, Rohit Gheyi, Márcio Ribeiro, Sven Apel, Vander Alves, Baldoino Fonseca, Flávio Medeiros, Alessandro Garcia
2021 J jnl
Identifying method-level mutation subsumption relations using Z3.
Inf. Softw. Technol.
Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca
2021 — conf
Learning Quick Fixes from Code Repositories.
SBES
Reudismam Rolim de Sousa, Gustavo Soares, Rohit Gheyi, Titus Barik, Loris D'Antoni
2021 A conf
Look Ahead! Revealing Complete Composite Refactorings and their Smelliness Effects.
ICSME
Ana Carla Bibiano, Wesley K. G. Assunção, Daniel Coutinho, Kleber Santos, Vinícius Soares, Rohit Gheyi, Alessandro Garcia, Baldoino Fonseca, Márcio Ribeiro, Daniel Oliveira, Caio Barbosa, João Lucas Marques, Anderson Oliveira
2021 — conf
TSDolly: A program generator for TypeScript.
SBLP
Gabriela Araujo Britto, Leopoldo Teixeira, Rohit Gheyi
2020 — conf
An Empirical Study on Configuration-Related Code Weaknesses.
SBES
Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Larissa Braz, Christian Kästner, Sven Apel, Kleber Santos
2020 — conf
Atoms of Confusion: The Eyes Do Not Lie.
SBES
Benedito de Oliveira, Márcio Ribeiro, José Aldo Silva da Costa, Rohit Gheyi, Guilherme Amaral, Rafael Maiani de Mello, Anderson Oliveira, Alessandro F. Garcia, Rodrigo Bonifácio, Baldoino Fonseca
2020 — conf
Brazilian Data Scientists: Revealing their Challenges and Practices on Machine Learning Model Development.
SBQS
João Lucas Correia, Juliana Alves Pereira, Rafael Maiani de Mello, Alessandro Garcia, Baldoino Fonseca, Márcio Ribeiro, Rohit Gheyi, Marcos Kalinowski, Renato Cerqueira, Willy Tiengo
2020 A conf
How Does Incomplete Composite Refactoring Affect Internal Quality Attributes?
ICPC
Ana Carla Bibiano, Vinícius Soares, Daniel Coutinho, Eduardo Fernandes, João Lucas Correia, Kleber Santos, Anderson Oliveira, Alessandro Garcia, Rohit Gheyi, Baldoino Fonseca, Márcio Ribeiro, Caio Barbosa, Daniel Oliveira
2020 A conf
Is Exceptional Behavior Testing an Exception?: An Empirical Assessment Using Java Automated Tests.
EASE
Francisco Dalton, Márcio Ribeiro, Gustavo Pinto, Leonardo Fernandes, Rohit Gheyi, Baldoino Fonseca
2020 J jnl
Mutating code annotations: An empirical evaluation on Java and C# programs.
Sci. Comput. Program.
Pedro Pinheiro, José Carlos Viana, Márcio Ribeiro, Leonardo Fernandes, Fabiano Cutigi Ferrari, Rohit Gheyi, Baldoino Fonseca
2020 A conf
On Relating Technical, Social Factors, and the Introduction of Bugs.
SANER
Filipe Falcão, Caio Barbosa, Baldoino Fonseca, Alessandro Garcia, Márcio Ribeiro, Rohit Gheyi
2020 A conf
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations.
ICST
Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi
2020 — conf
Refactoring Test Smells: A Perspective from Open-Source Developers.
SAST
Elvys Soares, Márcio Ribeiro, Guilherme Amaral, Rohit Gheyi, Leo Fernandes, Alessandro Garcia, Baldoino Fonseca, André L. M. Santos
2020 — conf
Refactoring and Active Object Languages.
ISoLA (2)
Volker Stolz, Violet Ka I Pun, Rohit Gheyi
2020 — conf
Revisiting Refactoring Mechanics from Tool Developers' Perspective.
SBMF
Jonhnanthan Oliveira, Rohit Gheyi, Felipe Pontes, Melina Mongiovi, Márcio Ribeiro, Alessandro F. Garcia
2020 — conf
Safe Evolution of Product Lines Using Configuration Knowledge Laws.
SBMF
Leopoldo Teixeira, Rohit Gheyi, Paulo Borba
2020 — conf
Understanding and Detecting Harmful Code.
SBES
Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rohit Gheyi, Márcio Ribeiro, Alessandro F. Garcia, Rafael Maiani de Mello
2019 J jnl
An investigation of misunderstanding code patterns in C open-source software projects.
Empir. Softw. Eng.
Flávio Medeiros, Gabriel Lima, Guilherme Amaral, Sven Apel, Christian Kästner, Márcio Ribeiro, Rohit Gheyi
2019 — conf
Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study.
VaMoS
Karine Gomes, Leopoldo Teixeira, Thayonara Alves, Márcio Ribeiro, Rohit Gheyi
2019 — conf
Java reflection API: revealing the dark side of the mirror.
ESEC/SIGSOFT FSE
Felipe Pontes, Rohit Gheyi, Sabrina Souto, Alessandro Garcia, Márcio Ribeiro
2019 J jnl
Revisiting the refactoring mechanics.
Inf. Softw. Technol.
Jonhnanthan Oliveira, Rohit Gheyi, Melina Mongiovi, Gustavo Soares, Márcio Ribeiro, Alessandro Garcia
2018 — conf
A Qualitative Analysis of Variability Weaknesses in Configurable Systems with #ifdefs.
VaMoS
Raphael Muniz, Larissa Braz, Rohit Gheyi, Wilkerson de L. Andrade, Baldoino Fonseca, Márcio Ribeiro
2018 J jnl
A change-aware per-file analysis to compile configurable systems with #ifdefs.
Comput. Lang. Syst. Struct.
Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira, Sabrina Souto
2018 J jnl
Detecting Overly Strong Preconditions in Refactoring Engines.
IEEE Trans. Software Eng.
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, Leopoldo Teixeira
2018 J jnl
Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell.
IEEE Trans. Software Eng.
Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Sven Apel, Christian Kästner, Bruno Ferreira, Luiz Carvalho, Baldoino Fonseca
2018 — conf
Equivalent Mutants in Configurable Systems: An Empirical Study.
VaMoS
Luiz Carvalho, Marcio Augusto Guimarães, Márcio Ribeiro, Leonardo Fernandes, Mustafa Al-Hajjaji, Rohit Gheyi, Thomas Thüm
2018 J jnl
Learning Quick Fixes from Code Repositories.
CoRR
Reudismam Rolim, Gustavo Soares, Rohit Gheyi, Loris D'Antoni
2018 — conf
Mutation Operators for Code Annotations.
SAST
Pedro Pinheiro, José Carlos Viana, Leonardo Fernandes, Márcio Ribeiro, Fabiano Cutigi Ferrari, Baldoino Fonseca, Rohit Gheyi
2017 J jnl
An idiom to represent data types in Alloy.
Inf. Softw. Technol.
Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro
2017 B conf
Avoiding useless mutants.
GPCE
Leonardo Fernandes, Márcio Ribeiro, Luiz Carvalho, Rohit Gheyi, Melina Mongiovi, André L. M. Santos, Ana Cavalcanti, Fabiano Cutigi Ferrari, José Carlos Maldonado
2017 A* conf
Balancing soundness and efficiency for practical testing of configurable systems.
ICSE
Sabrina Souto, Marcelo d'Amorim, Rohit Gheyi
2017 A* conf
Learning syntactic program transformations from examples.
ICSE
Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann
2017 A conf
The discipline of preprocessor-based annotations does #ifdef TAG n't #endif matter.
ICPC
Romero Malaquias, Márcio Ribeiro, Rodrigo Bonifácio, Eduardo Monteiro, Flávio Medeiros, Alessandro Garcia, Rohit Gheyi
2017 — conf
Understanding the impact of refactoring on smells: a longitudinal study of 23 software projects.
ESEC/SIGSOFT FSE
Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo da Silva Sousa, Rafael Maiani de Mello, Baldoino Fonseca, Márcio Ribeiro, Alexander Chávez
2016 J jnl
A Comparison of 10 Sampling Algorithms for Configurable Systems.
CoRR
Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Rohit Gheyi, Sven Apel
2016 B conf
A change-centric approach to compile configurable systems with #ifdefs.
GPCE
Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira
2016 A* conf
A comparison of 10 sampling algorithms for configurable systems.
ICSE
Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Rohit Gheyi, Sven Apel
2016 J jnl
Assessing fine-grained feature dependencies.
Inf. Softw. Technol.
Iran Rodrigues, Márcio Ribeiro, Flávio Medeiros, Paulo Borba, Baldoino Fonseca, Rohit Gheyi
2016 — conf
Does refactoring improve software structural quality? A longitudinal study of 25 projects.
SBES
Diego Cedrim, Leonardo da Silva Sousa, Alessandro F. Garcia, Rohit Gheyi
2016 J jnl
Learning Syntactic Program Transformations from Examples.
CoRR
Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann
2015 B conf
A product line of theories for reasoning about safe evolution of product lines.
SPLC
Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi
2015 B conf
An empirical study on configuration-related issues: investigating undeclared and unused identifiers.
GPCE
Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, Leopoldo Teixeira, Rohit Gheyi
2015 J jnl
Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017.
ACM SIGSOFT Softw. Eng. Notes
Alessandro Garcia, Rohit Gheyi, Márcio Ribeiro, Sebastián Uchitel
2015 B conf
Safe evolution of product populations and multi product lines.
SPLC
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
2015 J jnl
Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013).
Sci. Comput. Program.
Rohit Gheyi, Juliano Iyoda
2015 J jnl
The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact).
Dagstuhl Artifacts Ser.
Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi
2015 A conf
The Love/Hate Relationship with the C Preprocessor: An Interview Study.
ECOOP
Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi
2014 J jnl
A Catalogue of Refactorings to Remove Incomplete Annotations.
J. Univers. Comput. Sci.
Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Baldoino Fonseca dos Santos Neto
2014 J jnl
A Toolset for Checking SPL Refinements.
J. Univers. Comput. Sci.
Felype Ferreira, Rohit Gheyi, Paulo Borba, Gustavo Soares
2014 — conf
Enhancing conformance checking for contract-based programs.
SPLASH (Companion Volume)
Alysson Milanez, Tiago Massoni, Rohit Gheyi
2014 J jnl
Making refactoring safer through impact analysis.
Sci. Comput. Program.
Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba
2014 A conf
Scaling Testing of Refactoring Engines.
ICSME
Melina Mongiovi, Gustavo Mendes, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro
2013 J jnl
Automated Behavioral Testing of Refactoring Engines.
IEEE Trans. Software Eng.
Gustavo Soares, Rohit Gheyi, Tiago Massoni
2013 J jnl
Comparing approaches to analyze refactoring activity on software repositories.
J. Syst. Softw.
Gustavo Soares, Rohit Gheyi, Emerson R. Murphy-Hill, Brittany Johnson
2013 B conf
Investigating preprocessor-based syntax errors.
GPCE
Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi
2013 — conf
Live feedback on behavioral changes.
LIVE@ICSE
Gustavo Soares, Emerson R. Murphy-Hill, Rohit Gheyi
2013 J jnl
Safe composition of configuration knowledge-based software product lines.
J. Syst. Softw.
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
2012 J jnl
A theory of software product line refinement.
Theor. Comput. Sci.
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
2012 — ed.
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
SBMF
Rohit Gheyi, David A. Naumann
2012 — conf
Making Software Product Line Evolution Safer.
SBCARS
Felype Ferreira, Paulo Borba, Gustavo Soares, Rohit Gheyi
2011 — conf
Analyzing Refactorings on Software Repositories.
SBES
Gustavo Soares, Bruno Catao, Catuxe Varjao, Solon Aguiar, Rohit Gheyi, Tiago Massoni
2011 J jnl
Automatically Checking Feature Model Refactorings.
J. Univers. Comput. Sci.
Rohit Gheyi, Tiago Massoni, Paulo Borba
2011 — conf
Identifying overly strong conditions in refactoring implementations.
ICSM
Gustavo Soares, Melina Mongiovi, Rohit Gheyi
2011 — conf
Safe Composition of Configuration Knowledge-Based Software Product Lines.
SBES
Leopoldo Teixeira, Paulo Borba, Rohit Gheyi
2010 C conf
A Theory of Software Product Line Refinement.
ICTAC
Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
2010 J jnl
Making Program Refactoring Safer.
IEEE Softw.
Gustavo Soares, Rohit Gheyi, Dalton Dario Serey, Tiago Massoni
2010 J jnl
Randomized constraint solvers: a comparative study.
Innov. Syst. Softw. Eng.
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
2010 — conf
Synchronizing Model and Program Refactoring.
SBMF
Tiago Massoni, Rohit Gheyi, Paulo Borba
2009 — conf
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.
NASA Formal Methods
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio
2009 — conf
A Complete Set of Object Modeling Laws for Alloy.
SBMF
Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio
2009 — conf
Object-oriented Programming Laws for Annotated Java Programs
RULE
Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi
2008 J jnl
Algebraic Laws for Feature Models.
J. Univers. Comput. Sci.
Rohit Gheyi, Tiago Massoni, Paulo Borba
2008 B conf
Formal Model-Driven Program Refactoring.
FASE
Tiago Massoni, Rohit Gheyi, Paulo Borba
2007 J jnl
Requirement progression in problem frames: deriving specifications from requirements.
Requir. Eng.
Robert Seater, Daniel Jackson, Rohit Gheyi
2006 — conf
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.
SBMF
Tiago Massoni, Rohit Gheyi, Paulo Borba
2006 J jnl
An Approach to Invariant-based Program Refactoring.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tiago Massoni, Rohit Gheyi, Paulo Borba
2006 B conf
Refactoring product lines.
GPCE
Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena
2005 — conf
A Static Semantics for Alloy and its Impact in Refactorings.
SBMF
Rohit Gheyi, Tiago Massoni, Paulo Borba
2005 — conf
A model-driven approach to formal refactoring.
OOPSLA Companion
Tiago Massoni, Rohit Gheyi, Paulo Borba
2005 A* conf
A rigorous approach for proving model refactorings.
ASE
Rohit Gheyi, Tiago Massoni, Paulo Borba
2005 — conf
Formal Refactoring for UML Class Diagrams.
SBES
Tiago Massoni, Rohit Gheyi, Paulo Borba
2005 — conf
Formal refactorings for object models.
OOPSLA Companion
Rohit Gheyi, Tiago Massoni
2004 — conf
An Abstract Equivalence Notion for Object Models.
SBMF
Rohit Gheyi, Tiago Massoni, Paulo Borba
2003 — conf
Refactoring Alloy Specifications.
WMF
Rohit Gheyi, Paulo Borba