Rohit Gheyi

According to our database, Rohit Gheyi authored at least 99 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Investigating the Social Representations of Harmful Code.

Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rafael Maiani de Mello, Márcio Ribeiro, Rohit Gheyi, Alessandro F. Garcia

J. Softw. Eng. Res. Dev., 2024

Reducing Manual Efforts in Equivalence Analysis in Mutation Testing.

Samuel Amorim, Leo Fernandes, Márcio Ribeiro, Rohit Gheyi, Márcio E. Delamaro, Marcio Augusto Guimarães, André L. M. Santos

J. Softw. Eng. Res. Dev., 2024

Evaluating Large Language Models in Detecting Test Smells.

Keila Lucas, Rohit Gheyi, Elvys Soares, Márcio Ribeiro, Ivan Machado

Proceedings of the 38th Brazilian Symposium on Software Engineering, 2024

Evaluating the Capability of LLMs in Identifying Compilation Errors in Configurable Systems.

Lucas Albuquerque, Rohit Gheyi, Márcio Ribeiro

Proceedings of the 38th Brazilian Symposium on Software Engineering, 2024

Assessing Python Style Guides: An Eye-Tracking Study with Novice Developers.

Pablo Roberto, Rohit Gheyi, José Aldo Silva da Costa, Márcio Ribeiro

Proceedings of the 38th Brazilian Symposium on Software Engineering, 2024

A Catalog of Transformations to Remove Smells From Natural Language Tests.

Manoel Aranda III, Naelson Oliveira, Elvys Soares, Márcio Ribeiro, Davi Romão, Ullyanne Patriota, Rohit Gheyi, Emerson Souza, Ivan Machado

Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024

2023

Refactoring Test Smells With JUnit 5: Why Should Developers Keep Up-to-Date?

Elvys Soares, Márcio Ribeiro, Rohit Gheyi, Guilherme Amaral, André L. M. Santos

IEEE Trans. Software Eng., March, 2023

Towards a better understanding of the mechanics of refactoring detection tools.

Jonhnanthan Oliveira, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Osmar Leandro, Baldoino Fonseca

Inf. Softw. Technol., 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, Baldoino Fonseca

Empir. Softw. Eng., 2023

Evaluating the Code Comprehension of Novices with Eye Tracking.

José Aldo Silva da Costa, Rohit Gheyi

Proceedings of the XXII Brazilian Symposium on Software Quality, 2023

The untold story of code refactoring customizations in practice.

Daniel Oliveira, Wesley K. G. Assunção, Alessandro F. Garcia, Ana Carla Bibiano, Márcio Ribeiro, Rohit Gheyi, Baldoino Fonseca

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Manual Tests Do Smell! Cataloging and Identifying Natural Language Test Smells.

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

Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2023

2022

Developers' viewpoints to avoid bug-introducing changes.

Jairo Souza, Rodrigo Lima, Baldoino Fonseca, Bruno Cartaxo, Márcio Ribeiro, Gustavo Pinto, Rohit Gheyi, Alessandro Garcia

Inf. Softw. Technol., 2022

Lint-Based Warnings in Python Code: Frequency, Awareness and Refactoring.

Naelson Oliveira, Márcio Ribeiro, Rodrigo Bonifácio, Rohit Gheyi, Igor Wiese, Baldoino Fonseca

Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

A Technique to Test Refactoring Detection Tools.

Osmar Leandro, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Alessandro F. Garcia

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing.

Leo Fernandes, Márcio Ribeiro, Rohit Gheyi, Márcio E. Delamaro, Marcio Augusto Guimarães, André L. M. Santos

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

Mutation Operators for Java Streams.

Manoel Aranda III, Elvys Soares, Márcio Ribeiro, Fabiano Cutigi Ferrari, Rohit Gheyi, Arthur Lima

Proceedings of the SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3, 2022

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

Identifying method-level mutation subsumption relations using Z3.

Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca

Inf. Softw. Technol., 2021

Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices.

José Aldo Silva da Costa, Rohit Gheyi, Márcio Ribeiro, Sven Apel, Vander Alves, Baldoino Fonseca, Flávio Medeiros, Alessandro Garcia

Empir. Softw. Eng., 2021

TSDolly: A program generator for TypeScript.

Gabriela Araujo Britto, Leopoldo Teixeira, Rohit Gheyi

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

Learning Quick Fixes from Code Repositories.

Reudismam Rolim de Sousa, Gustavo Soares, Rohit Gheyi, Titus Barik, Loris D'Antoni

Proceedings of the 35th Brazilian Symposium on Software Engineering, 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, Baldoino Fonseca, Márcio Ribeiro, Daniel Oliveira, Caio Barbosa, João Lucas Marques, Anderson Oliveira

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

Decoding Confusing Code: Social Representations among Developers.

Rafael Maiani de Mello, José Aldo Silva da Costa, Benedito de Oliveira, Márcio Ribeiro, Baldoino Fonseca, Rohit Gheyi, Alessandro F. Garcia, Willy Tiengo

Proceedings of the 14th IEEE/ACM International Workshop on Cooperative and Human Aspects of Software Engineering, 2021

2020

Mutating code annotations: An empirical evaluation on Java and C# programs.

Pedro Pinheiro, José Carlos Viana, Márcio Ribeiro, Leonardo Fernandes, Fabiano Cutigi Ferrari, Rohit Gheyi, Baldoino Fonseca

Sci. Comput. Program., 2020

On Relating Technical, Social Factors, and the Introduction of Bugs.

Filipe Falcão, Caio Barbosa, Baldoino Fonseca, Alessandro Garcia, Márcio Ribeiro, Rohit Gheyi

Proceedings of the 27th IEEE International Conference on Software Analysis, 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, Baldoino Fonseca, Márcio Ribeiro, Rohit Gheyi, Marcos Kalinowski, Renato Cerqueira, Willy Tiengo

Proceedings of the 19th Brazilian Symposium on Software Quality, 2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws.

Leopoldo Teixeira, Rohit Gheyi, Paulo Borba

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Revisiting Refactoring Mechanics from Tool Developers' Perspective.

Jonhnanthan Oliveira, Rohit Gheyi, Felipe Pontes, Melina Mongiovi, Márcio Ribeiro, Alessandro F. Garcia

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Atoms of Confusion: The Eyes Do Not Lie.

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

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

An Empirical Study on Configuration-Related Code Weaknesses.

Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Larissa Braz, Christian Kästner, Sven Apel, Kleber Santos

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Understanding and Detecting Harmful Code.

Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rohit Gheyi, Márcio Ribeiro, Alessandro F. Garcia, Rafael Maiani de Mello

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Refactoring Test Smells: A Perspective from Open-Source Developers.

Elvys Soares, Márcio Ribeiro, Guilherme Amaral, Rohit Gheyi, Leo Fernandes, Alessandro Garcia, Baldoino Fonseca, André L. M. Santos

Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 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, Rohit Gheyi, Baldoino Fonseca, Márcio Ribeiro, Caio Barbosa, Daniel Oliveira

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Refactoring and Active Object Languages.

Volker Stolz, Violet Ka I Pun, Rohit Gheyi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations.

Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Is Exceptional Behavior Testing an Exception?: An Empirical Assessment Using Java Automated Tests.

Francisco Dalton, Márcio Ribeiro, Gustavo Pinto, Leonardo Fernandes, Rohit Gheyi, Baldoino Fonseca

Proceedings of the EASE '20: Evaluation and Assessment in Software Engineering, 2020

2019

Revisiting the refactoring mechanics.

Jonhnanthan Oliveira, Rohit Gheyi, Melina Mongiovi, Gustavo Soares, Márcio Ribeiro, Alessandro Garcia

Inf. Softw. Technol., 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, Rohit Gheyi

Empir. Softw. Eng., 2019

Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study.

Karine Gomes, Leopoldo Teixeira, Thayonara Alves, Márcio Ribeiro, Rohit Gheyi

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Java reflection API: revealing the dark side of the mirror.

Felipe Pontes, Rohit Gheyi, Sabrina Souto, Alessandro Garcia, Márcio Ribeiro

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Detecting Overly Strong Preconditions in Refactoring Engines.

Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, Leopoldo Teixeira

IEEE Trans. Software Eng., 2018

Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell.

Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Sven Apel, Christian Kästner, Bruno Ferreira, Luiz Carvalho, Baldoino Fonseca

IEEE Trans. Software Eng., 2018

Learning Quick Fixes from Code Repositories.

Reudismam Rolim, Gustavo Soares, Rohit Gheyi, Loris D'Antoni

CoRR, 2018

A change-aware per-file analysis to compile configurable systems with #ifdefs.

Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira, Sabrina Souto

Comput. Lang. Syst. Struct., 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

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Equivalent Mutants in Configurable Systems: An Empirical Study.

Luiz Carvalho, Marcio Augusto Guimarães, Márcio Ribeiro, Leonardo Fernandes, Mustafa Al-Hajjaji, Rohit Gheyi, Thomas Thüm

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Mutation Operators for Code Annotations.

Pedro Pinheiro, José Carlos Viana, Leonardo Fernandes, Márcio Ribeiro, Fabiano Cutigi Ferrari, Baldoino Fonseca, Rohit Gheyi

Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018

2017

An idiom to represent data types in Alloy.

Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro

Inf. Softw. Technol., 2017

Understanding the impact of refactoring on smells: a longitudinal study of 23 software projects.

Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo da Silva Sousa, Rafael Maiani de Mello, Baldoino Fonseca, Márcio Ribeiro, Alexander Chávez

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

The discipline of preprocessor-based annotations does #ifdef TAG n't #endif matter.

Romero Malaquias, Márcio Ribeiro, Rodrigo Bonifácio, Eduardo Monteiro, Flávio Medeiros, Alessandro Garcia, Rohit Gheyi

Proceedings of the 25th International Conference on Program Comprehension, 2017

Balancing soundness and efficiency for practical testing of configurable systems.

Sabrina Souto, Marcelo d'Amorim, Rohit Gheyi

Proceedings of the 39th International Conference on Software Engineering, 2017

Learning syntactic program transformations from examples.

Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann

Proceedings of the 39th International Conference on Software Engineering, 2017

Avoiding useless mutants.

Leonardo Fernandes, Márcio Ribeiro, Luiz Carvalho, Rohit Gheyi, Melina Mongiovi, André L. M. Santos, Ana Cavalcanti, Fabiano Cutigi Ferrari, José Carlos Maldonado

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

2016

Assessing fine-grained feature dependencies.

Iran Rodrigues, Márcio Ribeiro, Flávio Medeiros, Paulo Borba, Baldoino Fonseca, Rohit Gheyi

Inf. Softw. Technol., 2016

Does refactoring improve software structural quality? A longitudinal study of 25 projects.

Diego Cedrim, Leonardo da Silva Sousa, Alessandro F. Garcia, Rohit Gheyi

Proceedings of the 30th Brazilian Symposium on Software Engineering, 2016

A comparison of 10 sampling algorithms for configurable systems.

Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Rohit Gheyi, Sven Apel

Proceedings of the 38th International Conference on Software Engineering, 2016

A change-centric approach to compile configurable systems with #ifdefs.

Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

2015

Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017.

Alessandro Garcia, Rohit Gheyi, Márcio Ribeiro, Sebastián Uchitel

ACM SIGSOFT Softw. Eng. Notes, 2015

Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013).

Rohit Gheyi, Juliano Iyoda

Sci. Comput. Program., 2015

The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact).

Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi

Dagstuhl Artifacts Ser., 2015

Safe evolution of product populations and multi product lines.

Leopoldo Teixeira, Paulo Borba, Rohit Gheyi

Proceedings of the 19th International Conference on Software Product Line, 2015

A product line of theories for reasoning about safe evolution of product lines.

Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi

Proceedings of the 19th International Conference on Software Product Line, 2015

An empirical study on configuration-related issues: investigating undeclared and unused identifiers.

Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, Leopoldo Teixeira, Rohit Gheyi

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

The Love/Hate Relationship with the C Preprocessor: An Interview Study.

Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Making refactoring safer through impact analysis.

Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba

Sci. Comput. Program., 2014

A Catalogue of Refactorings to Remove Incomplete Annotations.

Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Baldoino Fonseca dos Santos Neto

J. Univers. Comput. Sci., 2014

A Toolset for Checking SPL Refinements.

Felype Ferreira, Rohit Gheyi, Paulo Borba, Gustavo Soares

J. Univers. Comput. Sci., 2014

Enhancing conformance checking for contract-based programs.

Alysson Milanez, Tiago Massoni, Rohit Gheyi

Proceedings of the SPLASH'14, 2014

Scaling Testing of Refactoring Engines.

Melina Mongiovi, Gustavo Mendes, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

2013

Automated Behavioral Testing of Refactoring Engines.

Gustavo Soares, Rohit Gheyi, Tiago Massoni

IEEE Trans. Software Eng., 2013

Safe composition of configuration knowledge-based software product lines.

Leopoldo Teixeira, Paulo Borba, Rohit Gheyi

J. Syst. Softw., 2013

Comparing approaches to analyze refactoring activity on software repositories.

Gustavo Soares, Rohit Gheyi, Emerson R. Murphy-Hill, Brittany Johnson

J. Syst. Softw., 2013

Live feedback on behavioral changes.

Gustavo Soares, Emerson R. Murphy-Hill, Rohit Gheyi

Proceedings of the 1st International Workshop on Live Programming, 2013

Investigating preprocessor-based syntax errors.

Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi

Proceedings of the Generative Programming: Concepts and Experiences, 2013

2012

A theory of software product line refinement.

Paulo Borba, Leopoldo Teixeira, Rohit Gheyi

Theor. Comput. Sci., 2012

Making Software Product Line Evolution Safer.

Felype Ferreira, Paulo Borba, Gustavo Soares, Rohit Gheyi

Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

2011

Automatically Checking Feature Model Refactorings.

Rohit Gheyi, Tiago Massoni, Paulo Borba

J. Univers. Comput. Sci., 2011

Analyzing Refactorings on Software Repositories.

Gustavo Soares, Bruno Catao, Catuxe Varjao, Solon Aguiar, Rohit Gheyi, Tiago Massoni

Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

Identifying overly strong conditions in refactoring implementations.

Gustavo Soares, Melina Mongiovi, Rohit Gheyi

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010

Making Program Refactoring Safer.

Gustavo Soares, Rohit Gheyi, Dalton Dario Serey, Tiago Massoni

IEEE Softw., 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

Synchronizing Model and Program Refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Formal Methods: Foundations and Applications, 2010

2009

Object-oriented Programming Laws for Annotated Java Programs

Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

A Complete Set of Object Modeling Laws for Alloy.

Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications, 2009

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

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

Algebraic Laws for Feature Models.

Rohit Gheyi, Tiago Massoni, Paulo Borba

J. Univers. Comput. Sci., 2008

Formal Model-Driven Program Refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Requirement progression in problem frames: deriving specifications from requirements.

Robert Seater, Daniel Jackson, Rohit Gheyi

Requir. Eng., 2007

2006

A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Brazilian Symposium on Formal Methods, 2006

An Approach to Invariant-based Program Refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Refactoring product lines.

Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena

Proceedings of the Generative Programming and Component Engineering, 2006

2005

A Static Semantics for Alloy and its Impact in Refactorings.

Rohit Gheyi, Tiago Massoni, Paulo Borba

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Formal Refactoring for UML Class Diagrams.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

A model-driven approach to formal refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Formal refactorings for object models.

Rohit Gheyi, Tiago Massoni

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

A rigorous approach for proving model refactorings.

Rohit Gheyi, Tiago Massoni, Paulo Borba

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

An Abstract Equivalence Notion for Object Models.

Rohit Gheyi, Tiago Massoni, Paulo Borba

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

2003

Refactoring Alloy Specifications.

Rohit Gheyi, Paulo Borba

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003