default search action
Rohit Gheyi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j33]Samuel Amorim, Leo Fernandes, Márcio Ribeiro, Rohit Gheyi, Márcio E. Delamaro, Marcio Augusto Guimarães, André L. M. Santos:
Reducing Manual Efforts in Equivalence Analysis in Mutation Testing. J. Softw. Eng. Res. Dev. 12(1) (2024) - [j32]Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rafael Maiani de Mello, Márcio Ribeiro, Rohit Gheyi, Alessandro F. Garcia:
Investigating the Social Representations of Harmful Code. J. Softw. Eng. Res. Dev. 12(1) (2024) - [c67]Manoel Aranda III, Naelson Oliveira, Elvys Soares, Márcio Ribeiro, Davi Romão, Ullyanne Patriota, Rohit Gheyi, Emerson Souza, Ivan Machado:
A Catalog of Transformations to Remove Smells From Natural Language Tests. EASE 2024: 7-16 - [c66]Pablo Roberto, Rohit Gheyi, José Aldo Silva da Costa, Márcio Ribeiro:
Assessing Python Style Guides: An Eye-Tracking Study with Novice Developers. SBES 2024: 136-146 - [c65]Lucas Albuquerque, Rohit Gheyi, Márcio Ribeiro:
Evaluating the Capability of LLMs in Identifying Compilation Errors in Configurable Systems. SBES 2024: 574-580 - [c64]Keila Lucas, Rohit Gheyi, Elvys Soares, Márcio Ribeiro, Ivan Machado:
Evaluating Large Language Models in Detecting Test Smells. SBES 2024: 672-678 - [i8]Manoel Aranda III, Naelson Oliveira, Elvys Soares, Márcio Ribeiro, Davi Romão, Ullyanne Patriota, Rohit Gheyi, Emerson Souza, Ivan Machado:
A Catalog of Transformations to Remove Smells From Natural Language Tests. CoRR abs/2404.16992 (2024) - [i7]Lucas Albuquerque, Rohit Gheyi, Márcio Ribeiro:
Evaluating the Capability of LLMs in Identifying Compilation Errors in Configurable Systems. CoRR abs/2407.19087 (2024) - [i6]Keila Lucas, Rohit Gheyi, Elvys Soares, Márcio Ribeiro, Ivan Machado:
Evaluating Large Language Models in Detecting Test Smells. CoRR abs/2407.19261 (2024) - [i5]Pablo Roberto, Rohit Gheyi, José Aldo Silva da Costa, Márcio Ribeiro:
Assessing Python Style Guides: An Eye-Tracking Study with Novice Developers. CoRR abs/2408.14566 (2024) - 2023
- [j31]José Aldo Silva da Costa, Rohit Gheyi, Fernando Castor, Pablo Roberto Fernandes de Oliveira, Márcio Ribeiro, Baldoino Fonseca:
Seeing confusion through a new lens: on the impact of atoms of confusion on novices' code comprehension. Empir. Softw. Eng. 28(4): 81 (2023) - [j30]Jonhnanthan Oliveira, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Osmar Leandro, Baldoino Fonseca:
Towards a better understanding of the mechanics of refactoring detection tools. Inf. Softw. Technol. 162: 107273 (2023) - [j29]Elvys Soares, Márcio Ribeiro, Rohit Gheyi, Guilherme Amaral, André L. M. Santos:
Refactoring Test Smells With JUnit 5: Why Should Developers Keep Up-to-Date? IEEE Trans. Software Eng. 49(3): 1152-1170 (2023) - [c63]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:
Manual Tests Do Smell! Cataloging and Identifying Natural Language Test Smells. ESEM 2023: 1-11 - [c62]Daniel Oliveira, Wesley K. G. Assunção, Alessandro F. Garcia, Ana Carla Bibiano, Márcio Ribeiro, Rohit Gheyi, Baldoino Fonseca:
The untold story of code refactoring customizations in practice. ICSE 2023: 108-120 - [c61]José Aldo Silva da Costa, Rohit Gheyi:
Evaluating the Code Comprehension of Novices with Eye Tracking. SBQS 2023: 332-341 - [i4]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:
Manual Tests Do Smell! Cataloging and Identifying Natural Language Test Smells. CoRR abs/2308.01386 (2023) - 2022
- [j28]Jairo Souza, Rodrigo Lima, Baldoino Fonseca, Bruno Cartaxo, Márcio Ribeiro, Gustavo Pinto, Rohit Gheyi, Alessandro Garcia:
Developers' viewpoints to avoid bug-introducing changes. Inf. Softw. Technol. 143: 106766 (2022) - [c60]Manoel Aranda III, Elvys Soares, Márcio Ribeiro, Fabiano Cutigi Ferrari, Rohit Gheyi, Arthur Lima:
Mutation Operators for Java Streams. SAST 2022: 59-68 - [c59]Osmar Leandro, Rohit Gheyi, Leopoldo Teixeira, Márcio Ribeiro, Alessandro F. Garcia:
A Technique to Test Refactoring Detection Tools. SBES 2022: 188-197 - [c58]Leo Fernandes, Márcio Ribeiro, Rohit Gheyi, Márcio E. Delamaro, Marcio Augusto Guimarães, André L. M. Santos:
Put Your Hands In The Air! Reducing Manual Effort in Mutation Testing. SBES 2022: 198-207 - [c57]Naelson Oliveira, Márcio Ribeiro, Rodrigo Bonifácio, Rohit Gheyi, Igor Wiese, Baldoino Fonseca:
Lint-Based Warnings in Python Code: Frequency, Awareness and Refactoring. SCAM 2022: 208-218 - 2021
- [j27]José Aldo Silva da Costa, Rohit Gheyi, Márcio Ribeiro, Sven Apel, Vander Alves, Baldoino Fonseca, Flávio Medeiros, Alessandro Garcia:
Evaluating refactorings for disciplining #ifdef annotations: An eye tracking study with novices. Empir. Softw. Eng. 26(5): 92 (2021) - [j26]Rohit Gheyi, Márcio Ribeiro, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca:
Identifying method-level mutation subsumption relations using Z3. Inf. Softw. Technol. 132: 106496 (2021) - [j25]Thiago M. Castro, Leopoldo Teixeira, Vander Alves, Sven Apel, Maxime Cordy, Rohit Gheyi:
A Formal Framework of Software Product Line Analyses. ACM Trans. Softw. Eng. Methodol. 30(3): 34:1-34:37 (2021) - [c56]Rafael Maiani de Mello, José Aldo Silva da Costa, Benedito de Oliveira, Márcio Ribeiro, Baldoino Fonseca, Rohit Gheyi, Alessandro F. Garcia, Willy Tiengo:
Decoding Confusing Code: Social Representations among Developers. CHASE@ICSE 2021: 11-20 - [c55]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:
Look Ahead! Revealing Complete Composite Refactorings and their Smelliness Effects. ICSME 2021: 298-308 - [c54]Reudismam Rolim de Sousa, Gustavo Soares, Rohit Gheyi, Titus Barik, Loris D'Antoni:
Learning Quick Fixes from Code Repositories. SBES 2021: 74-83 - [c53]Gabriela Araujo Britto, Leopoldo Teixeira, Rohit Gheyi:
TSDolly: A program generator for TypeScript. SBLP 2021: 66-74 - 2020
- [j24]Pedro Pinheiro, José Carlos Viana, Márcio Ribeiro, Leonardo Fernandes, Fabiano Cutigi Ferrari, Rohit Gheyi, Baldoino Fonseca:
Mutating code annotations: An empirical evaluation on Java and C# programs. Sci. Comput. Program. 191: 102418 (2020) - [c52]Francisco Dalton, Márcio Ribeiro, Gustavo Pinto, Leonardo Fernandes, Rohit Gheyi, Baldoino Fonseca:
Is Exceptional Behavior Testing an Exception?: An Empirical Assessment Using Java Automated Tests. EASE 2020: 170-179 - [c51]Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi:
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. ICST 2020: 198-208 - [c50]Volker Stolz, Violet Ka I Pun, Rohit Gheyi:
Refactoring and Active Object Languages. ISoLA (2) 2020: 138-158 - [c49]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:
How Does Incomplete Composite Refactoring Affect Internal Quality Attributes? ICPC 2020: 149-159 - [c48]Elvys Soares, Márcio Ribeiro, Guilherme Amaral, Rohit Gheyi, Leo Fernandes, Alessandro Garcia, Baldoino Fonseca, André L. M. Santos:
Refactoring Test Smells: A Perspective from Open-Source Developers. SAST 2020: 50-59 - [c47]Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Larissa Braz, Christian Kästner, Sven Apel, Kleber Santos:
An Empirical Study on Configuration-Related Code Weaknesses. SBES 2020: 193-202 - [c46]Rodrigo Lima, Jairo Souza, Baldoino Fonseca, Leopoldo Teixeira, Rohit Gheyi, Márcio Ribeiro, Alessandro F. Garcia, Rafael Maiani de Mello:
Understanding and Detecting Harmful Code. SBES 2020: 223-232 - [c45]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:
Atoms of Confusion: The Eyes Do Not Lie. SBES 2020: 243-252 - [c44]Jonhnanthan Oliveira, Rohit Gheyi, Felipe Pontes, Melina Mongiovi, Márcio Ribeiro, Alessandro F. Garcia:
Revisiting Refactoring Mechanics from Tool Developers' Perspective. SBMF 2020: 25-42 - [c43]Leopoldo Teixeira, Rohit Gheyi, Paulo Borba:
Safe Evolution of Product Lines Using Configuration Knowledge Laws. SBMF 2020: 210-227 - [c42]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:
Brazilian Data Scientists: Revealing their Challenges and Practices on Machine Learning Model Development. SBQS 2020: 10 - [c41]Filipe Falcão, Caio Barbosa, Baldoino Fonseca, Alessandro Garcia, Márcio Ribeiro, Rohit Gheyi:
On Relating Technical, Social Factors, and the Introduction of Bugs. SANER 2020: 378-388
2010 – 2019
- 2019
- [j23]Flávio Medeiros, Gabriel Lima, Guilherme Amaral, Sven Apel, Christian Kästner, Márcio Ribeiro, Rohit Gheyi:
An investigation of misunderstanding code patterns in C open-source software projects. Empir. Softw. Eng. 24(4): 1693-1726 (2019) - [j22]Jonhnanthan Oliveira, Rohit Gheyi, Melina Mongiovi, Gustavo Soares, Márcio Ribeiro, Alessandro Garcia:
Revisiting the refactoring mechanics. Inf. Softw. Technol. 110: 136-138 (2019) - [c40]Felipe Pontes, Rohit Gheyi, Sabrina Souto, Alessandro Garcia, Márcio Ribeiro:
Java reflection API: revealing the dark side of the mirror. ESEC/SIGSOFT FSE 2019: 636-646 - [c39]Karine Gomes, Leopoldo Teixeira, Thayonara Alves, Márcio Ribeiro, Rohit Gheyi:
Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study. VaMoS 2019: 15:1-15:9 - 2018
- [j21]Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira, Sabrina Souto:
A change-aware per-file analysis to compile configurable systems with #ifdefs. Comput. Lang. Syst. Struct. 54: 427-450 (2018) - [j20]Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro, Paulo Borba, Leopoldo Teixeira:
Detecting Overly Strong Preconditions in Refactoring Engines. IEEE Trans. Software Eng. 44(5): 429-452 (2018) - [j19]Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Sven Apel, Christian Kästner, Bruno Ferreira, Luiz Carvalho, Baldoino Fonseca:
Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell. IEEE Trans. Software Eng. 44(5): 453-469 (2018) - [c38]Pedro Pinheiro, José Carlos Viana, Leonardo Fernandes, Márcio Ribeiro, Fabiano Cutigi Ferrari, Baldoino Fonseca, Rohit Gheyi:
Mutation Operators for Code Annotations. SAST 2018: 77-86 - [c37]Luiz Carvalho, Marcio Augusto Guimarães, Márcio Ribeiro, Leonardo Fernandes, Mustafa Al-Hajjaji, Rohit Gheyi, Thomas Thüm:
Equivalent Mutants in Configurable Systems: An Empirical Study. VaMoS 2018: 11-18 - [c36]Raphael Muniz, Larissa Braz, Rohit Gheyi, Wilkerson de L. Andrade, Baldoino Fonseca, Márcio Ribeiro:
A Qualitative Analysis of Variability Weaknesses in Configurable Systems with #ifdefs. VaMoS 2018: 51-58 - [i3]Reudismam Rolim, Gustavo Soares, Rohit Gheyi, Loris D'Antoni:
Learning Quick Fixes from Code Repositories. CoRR abs/1803.03806 (2018) - 2017
- [j18]Rohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro:
An idiom to represent data types in Alloy. Inf. Softw. Technol. 82: 173-176 (2017) - [c35]Leonardo Fernandes, Márcio Ribeiro, Luiz Carvalho, Rohit Gheyi, Melina Mongiovi, André L. M. Santos, Ana Cavalcanti, Fabiano Cutigi Ferrari, José Carlos Maldonado:
Avoiding useless mutants. GPCE 2017: 187-198 - [c34]Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann:
Learning syntactic program transformations from examples. ICSE 2017: 404-415 - [c33]Sabrina Souto, Marcelo d'Amorim, Rohit Gheyi:
Balancing soundness and efficiency for practical testing of configurable systems. ICSE 2017: 632-642 - [c32]Romero Malaquias, Márcio Ribeiro, Rodrigo Bonifácio, Eduardo Monteiro, Flávio Medeiros, Alessandro Garcia, Rohit Gheyi:
The discipline of preprocessor-based annotations does #ifdef TAG n't #endif matter. ICPC 2017: 297-307 - [c31]Diego Cedrim, Alessandro Garcia, Melina Mongiovi, Rohit Gheyi, Leonardo da Silva Sousa, Rafael Maiani de Mello, Baldoino Fonseca, Márcio Ribeiro, Alexander Chávez:
Understanding the impact of refactoring on smells: a longitudinal study of 23 software projects. ESEC/SIGSOFT FSE 2017: 465-475 - 2016
- [j17]Iran Rodrigues, Márcio Ribeiro, Flávio Medeiros, Paulo Borba, Baldoino Fonseca, Rohit Gheyi:
Assessing fine-grained feature dependencies. Inf. Softw. Technol. 78: 27-52 (2016) - [c30]Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flávio Medeiros, Leopoldo Teixeira:
A change-centric approach to compile configurable systems with #ifdefs. GPCE 2016: 109-119 - [c29]Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Rohit Gheyi, Sven Apel:
A comparison of 10 sampling algorithms for configurable systems. ICSE 2016: 643-654 - [c28]Diego Cedrim, Leonardo da Silva Sousa, Alessandro F. Garcia, Rohit Gheyi:
Does refactoring improve software structural quality? A longitudinal study of 25 projects. SBES 2016: 73-82 - [i2]Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Rohit Gheyi, Sven Apel:
A Comparison of 10 Sampling Algorithms for Configurable Systems. CoRR abs/1602.02052 (2016) - [i1]Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann:
Learning Syntactic Program Transformations from Examples. CoRR abs/1608.09000 (2016) - 2015
- [j16]Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi:
The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact). Dagstuhl Artifacts Ser. 1(1): 07:1-07:32 (2015) - [j15]Rohit Gheyi, Juliano Iyoda:
Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013). Sci. Comput. Program. 107-108: 1 (2015) - [j14]Alessandro Garcia, Rohit Gheyi, Márcio Ribeiro, Sebastián Uchitel:
Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017. ACM SIGSOFT Softw. Eng. Notes 40(3): 38 (2015) - [c27]Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi:
The Love/Hate Relationship with the C Preprocessor: An Interview Study. ECOOP 2015: 495-518 - [c26]Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, Leopoldo Teixeira, Rohit Gheyi:
An empirical study on configuration-related issues: investigating undeclared and unused identifiers. GPCE 2015: 35-44 - [c25]Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi:
A product line of theories for reasoning about safe evolution of product lines. SPLC 2015: 161-170 - [c24]Leopoldo Teixeira, Paulo Borba, Rohit Gheyi:
Safe evolution of product populations and multi product lines. SPLC 2015: 171-175 - 2014
- [j13]Felype Ferreira, Rohit Gheyi, Paulo Borba, Gustavo Soares:
A Toolset for Checking SPL Refinements. J. Univers. Comput. Sci. 20(5): 587-614 (2014) - [j12]Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi, Baldoino Fonseca dos Santos Neto:
A Catalogue of Refactorings to Remove Incomplete Annotations. J. Univers. Comput. Sci. 20(5): 746-771 (2014) - [j11]Melina Mongiovi, Rohit Gheyi, Gustavo Soares, Leopoldo Teixeira, Paulo Borba:
Making refactoring safer through impact analysis. Sci. Comput. Program. 93: 39-64 (2014) - [c23]Melina Mongiovi, Gustavo Mendes, Rohit Gheyi, Gustavo Soares, Márcio Ribeiro:
Scaling Testing of Refactoring Engines. ICSME 2014: 371-380 - [c22]Alysson Milanez, Tiago Massoni, Rohit Gheyi:
Enhancing conformance checking for contract-based programs. SPLASH (Companion Volume) 2014: 57-58 - 2013
- [j10]Gustavo Soares, Rohit Gheyi, Emerson R. Murphy-Hill, Brittany Johnson:
Comparing approaches to analyze refactoring activity on software repositories. J. Syst. Softw. 86(4): 1006-1022 (2013) - [j9]Leopoldo Teixeira, Paulo Borba, Rohit Gheyi:
Safe composition of configuration knowledge-based software product lines. J. Syst. Softw. 86(4): 1038-1053 (2013) - [j8]Gustavo Soares, Rohit Gheyi, Tiago Massoni:
Automated Behavioral Testing of Refactoring Engines. IEEE Trans. Software Eng. 39(2): 147-162 (2013) - [c21]Flávio Medeiros, Márcio Ribeiro, Rohit Gheyi:
Investigating preprocessor-based syntax errors. GPCE 2013: 75-84 - [c20]Gustavo Soares, Emerson R. Murphy-Hill, Rohit Gheyi:
Live feedback on behavioral changes. LIVE@ICSE 2013: 23-26 - 2012
- [j7]Paulo Borba, Leopoldo Teixeira, Rohit Gheyi:
A theory of software product line refinement. Theor. Comput. Sci. 455: 2-30 (2012) - [c19]Felype Ferreira, Paulo Borba, Gustavo Soares, Rohit Gheyi:
Making Software Product Line Evolution Safer. SBCARS 2012: 21-30 - [e1]Rohit Gheyi, David A. Naumann:
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7498, Springer 2012, ISBN 978-3-642-33295-1 [contents] - 2011
- [j6]Rohit Gheyi, Tiago Massoni, Paulo Borba:
Automatically Checking Feature Model Refactorings. J. Univers. Comput. Sci. 17(5): 684-711 (2011) - [c18]Gustavo Soares, Melina Mongiovi, Rohit Gheyi:
Identifying overly strong conditions in refactoring implementations. ICSM 2011: 173-182 - [c17]Gustavo Soares, Bruno Catao, Catuxe Varjao, Solon Aguiar, Rohit Gheyi, Tiago Massoni:
Analyzing Refactorings on Software Repositories. SBES 2011: 164-173 - [c16]Leopoldo Teixeira, Paulo Borba, Rohit Gheyi:
Safe Composition of Configuration Knowledge-Based Software Product Lines. SBES 2011: 263-272 - 2010
- [j5]Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio:
Randomized constraint solvers: a comparative study. Innov. Syst. Softw. Eng. 6(3): 243-253 (2010) - [j4]Gustavo Soares, Rohit Gheyi, Dalton Dario Serey, Tiago Massoni:
Making Program Refactoring Safer. IEEE Softw. 27(4): 52-57 (2010) - [c15]Paulo Borba, Leopoldo Teixeira, Rohit Gheyi:
A Theory of Software Product Line Refinement. ICTAC 2010: 15-43 - [c14]Tiago Massoni, Rohit Gheyi, Paulo Borba:
Synchronizing Model and Program Refactoring. SBMF 2010: 96-111
2000 – 2009
- 2009
- [c13]Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio:
A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. NASA Formal Methods 2009: 56-65 - [c12]Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio:
A Complete Set of Object Modeling Laws for Alloy. SBMF 2009: 204-219 - [c11]Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi:
Object-oriented Programming Laws for Annotated Java Programs. RULE 2009: 65-76 - 2008
- [j3]Rohit Gheyi, Tiago Massoni, Paulo Borba:
Algebraic Laws for Feature Models. J. Univers. Comput. Sci. 14(21): 3573-3591 (2008) - [c10]Tiago Massoni, Rohit Gheyi, Paulo Borba:
Formal Model-Driven Program Refactoring. FASE 2008: 362-376 - 2007
- [j2]Robert Seater, Daniel Jackson, Rohit Gheyi:
Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12(2): 77-102 (2007) - 2006
- [j1]Tiago Massoni, Rohit Gheyi, Paulo Borba:
An Approach to Invariant-based Program Refactoring. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006) - [c9]Vander Alves, Rohit Gheyi, Tiago Massoni, Uirá Kulesza, Paulo Borba, Carlos José Pereira de Lucena:
Refactoring product lines. GPCE 2006: 201-210 - [c8]Tiago Massoni, Rohit Gheyi, Paulo Borba:
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. SBMF 2006: 189-209 - 2005
- [c7]Rohit Gheyi, Tiago Massoni, Paulo Borba:
A rigorous approach for proving model refactorings. ASE 2005: 372-375 - [c6]Tiago Massoni, Rohit Gheyi, Paulo Borba:
A model-driven approach to formal refactoring. OOPSLA Companion 2005: 124-125 - [c5]Rohit Gheyi, Tiago Massoni:
Formal refactorings for object models. OOPSLA Companion 2005: 208-209 - [c4]Tiago Massoni, Rohit Gheyi, Paulo Borba:
Formal Refactoring for UML Class Diagrams. SBES 2005: 152-167 - [c3]Rohit Gheyi, Tiago Massoni, Paulo Borba:
A Static Semantics for Alloy and its Impact in Refactorings. SBMF 2005: 209-233 - 2004
- [c2]Rohit Gheyi, Tiago Massoni, Paulo Borba:
An Abstract Equivalence Notion for Object Models. SBMF 2004: 3-21 - 2003
- [c1]Rohit Gheyi, Paulo Borba:
Refactoring Alloy Specifications. WMF 2003: 227-243
Coauthor Index
aka: Baldoino Fonseca
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint