Rohit Gheyi

Orcid: 0000-0002-5562-4449

According to our database1, Rohit Gheyi authored at least 95 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Reducing Manual Efforts in Equivalence Analysis in Mutation Testing.
J. Softw. Eng. Res. Dev., 2024

A Catalog of Transformations to Remove Smells From Natural Language Tests.
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?
IEEE Trans. Software Eng., March, 2023

Towards a better understanding of the mechanics of refactoring detection tools.
Inf. Softw. Technol., 2023

Seeing confusion through a new lens: on the impact of atoms of confusion on novices' code comprehension.
Empir. Softw. Eng., 2023

Evaluating the Code Comprehension of Novices with Eye Tracking.
Proceedings of the XXII Brazilian Symposium on Software Quality, 2023

The untold story of code refactoring customizations in practice.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Manual Tests Do Smell! Cataloging and Identifying Natural Language Test Smells.
Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2023

2022
Developers' viewpoints to avoid bug-introducing changes.
Inf. Softw. Technol., 2022

Lint-Based Warnings in Python Code: Frequency, Awareness and Refactoring.
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

A Technique to Test Refactoring Detection Tools.
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.
Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

Mutation Operators for Java Streams.
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.
ACM Trans. Softw. Eng. Methodol., 2021

Identifying method-level mutation subsumption relations using Z3.
Inf. Softw. Technol., 2021

Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices.
Empir. Softw. Eng., 2021

TSDolly: A program generator for TypeScript.
Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

Learning Quick Fixes from Code Repositories.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Look Ahead! Revealing Complete Composite Refactorings and their Smelliness Effects.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

Decoding Confusing Code: Social Representations among Developers.
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.
Sci. Comput. Program., 2020

On Relating Technical, Social Factors, and the Introduction of Bugs.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Brazilian Data Scientists: Revealing their Challenges and Practices on Machine Learning Model Development.
Proceedings of the 19th Brazilian Symposium on Software Quality, 2020

Safe Evolution of Product Lines Using Configuration Knowledge Laws.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Revisiting Refactoring Mechanics from Tool Developers' Perspective.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Atoms of Confusion: The Eyes Do Not Lie.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

An Empirical Study on Configuration-Related Code Weaknesses.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Understanding and Detecting Harmful Code.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Refactoring Test Smells: A Perspective from Open-Source Developers.
Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020

How Does Incomplete Composite Refactoring Affect Internal Quality Attributes?
Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Refactoring and Active Object Languages.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Is Exceptional Behavior Testing an Exception?: An Empirical Assessment Using Java Automated Tests.
Proceedings of the EASE '20: Evaluation and Assessment in Software Engineering, 2020

2019
Revisiting the refactoring mechanics.
Inf. Softw. Technol., 2019

An investigation of misunderstanding code patterns in C open-source software projects.
Empir. Softw. Eng., 2019

Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study.
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Java reflection API: revealing the dark side of the mirror.
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.
IEEE Trans. Software Eng., 2018

Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell.
IEEE Trans. Software Eng., 2018

Learning Quick Fixes from Code Repositories.
CoRR, 2018

A change-aware per-file analysis to compile configurable systems with #ifdefs.
Comput. Lang. Syst. Struct., 2018

A Qualitative Analysis of Variability Weaknesses in Configurable Systems with #ifdefs.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Equivalent Mutants in Configurable Systems: An Empirical Study.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Mutation Operators for Code Annotations.
Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018

2017
An idiom to represent data types in Alloy.
Inf. Softw. Technol., 2017

Understanding the impact of refactoring on smells: a longitudinal study of 23 software projects.
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.
Proceedings of the 25th International Conference on Program Comprehension, 2017

Balancing soundness and efficiency for practical testing of configurable systems.
Proceedings of the 39th International Conference on Software Engineering, 2017

Learning syntactic program transformations from examples.
Proceedings of the 39th International Conference on Software Engineering, 2017

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

2016
Assessing fine-grained feature dependencies.
Inf. Softw. Technol., 2016

Does refactoring improve software structural quality? A longitudinal study of 25 projects.
Proceedings of the 30th Brazilian Symposium on Software Engineering, 2016

A comparison of 10 sampling algorithms for configurable systems.
Proceedings of the 38th International Conference on Software Engineering, 2016

A change-centric approach to compile configurable systems with #ifdefs.
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.
ACM SIGSOFT Softw. Eng. Notes, 2015

Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013).
Sci. Comput. Program., 2015

The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact).
Dagstuhl Artifacts Ser., 2015

Safe evolution of product populations and multi product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

A product line of theories for reasoning about safe evolution of product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

An empirical study on configuration-related issues: investigating undeclared and unused identifiers.
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.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
Making refactoring safer through impact analysis.
Sci. Comput. Program., 2014

A Catalogue of Refactorings to Remove Incomplete Annotations.
J. Univers. Comput. Sci., 2014

A Toolset for Checking SPL Refinements.
J. Univers. Comput. Sci., 2014

Enhancing conformance checking for contract-based programs.
Proceedings of the SPLASH'14, 2014

Scaling Testing of Refactoring Engines.
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.
IEEE Trans. Software Eng., 2013

Safe composition of configuration knowledge-based software product lines.
J. Syst. Softw., 2013

Comparing approaches to analyze refactoring activity on software repositories.
J. Syst. Softw., 2013

Live feedback on behavioral changes.
Proceedings of the 1st International Workshop on Live Programming, 2013

Investigating preprocessor-based syntax errors.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

2012
A theory of software product line refinement.
Theor. Comput. Sci., 2012

Making Software Product Line Evolution Safer.
Proceedings of the Sixth Brazilian Symposium on Software Components, 2012

2011
Automatically Checking Feature Model Refactorings.
J. Univers. Comput. Sci., 2011

Analyzing Refactorings on Software Repositories.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

Identifying overly strong conditions in refactoring implementations.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010
Making Program Refactoring Safer.
IEEE Softw., 2010

Randomized constraint solvers: a comparative study.
Innov. Syst. Softw. Eng., 2010

Synchronizing Model and Program Refactoring.
Proceedings of the Formal Methods: Foundations and Applications, 2010

2009
Object-oriented Programming Laws for Annotated Java Programs
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

A Complete Set of Object Modeling Laws for Alloy.
Proceedings of the Formal Methods: Foundations and Applications, 2009

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.
Proceedings of the First NASA Formal Methods Symposium, 2009

2008
Algebraic Laws for Feature Models.
J. Univers. Comput. Sci., 2008

Formal Model-Driven Program Refactoring.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Requirement progression in problem frames: deriving specifications from requirements.
Requir. Eng., 2007

2006
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs.
Proceedings of the Brazilian Symposium on Formal Methods, 2006

An Approach to Invariant-based Program Refactoring.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Refactoring product lines.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
A Static Semantics for Alloy and its Impact in Refactorings.
Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

Formal Refactoring for UML Class Diagrams.
Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

A model-driven approach to formal refactoring.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Formal refactorings for object models.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

A rigorous approach for proving model refactorings.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004
An Abstract Equivalence Notion for Object Models.
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

2003
Refactoring Alloy Specifications.
Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003


  Loading...