| Refactoring product lines V Alves, R Gheyi, T Massoni, U Kulesza, P Borba, C Lucena Proceedings of the 5th international conference on Generative programming …, 2006 | 235 | 2006 |
| Automated behavioral testing of refactoring engines G Soares, R Gheyi, T Massoni IEEE Transactions on Software Engineering 39 (2), 147-162, 2012 | 150 | 2012 |
| Making program refactoring safer G Soares, R Gheyi, D Serey, T Massoni IEEE software 27 (4), 52-57, 2010 | 144 | 2010 |
| A theory for feature models in alloy R Gheyi, T Massoni, P Borba First alloy workshop, 71-80, 2006 | 113 | 2006 |
| Formal refactoring for UML class diagrams T Massoni, R Gheyi, P Borba Proceedings of the 19th Brazilian Symposium on Software Engineering, 152-167, 2005 | 47 | 2005 |
| A UML class diagram analyzer T Massoni, R Gheyi, P Borba TUM, 100, 2004 | 43 | 2004 |
| PDC: Persistent data collections pattern T Massoni, V Alves, S Soares, P Borba | 43 | 2001 |
| A rigorous approach for proving model refactorings R Gheyi, T Massoni, P Borba Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 42 | 2005 |
| Algebraic Laws for Feature Models. R Gheyi, T Massoni, P Borba J. Univers. Comput. Sci. 14 (21), 3573-3591, 2008 | 35 | 2008 |
| Analyzing refactorings on software repositories G Soares, B Catao, C Varjao, S Aguiar, R Gheyi, T Massoni 2011 25th Brazilian Symposium on Software Engineering, 164-173, 2011 | 32 | 2011 |
| An abstract equivalence notion for object models R Gheyi, T Massoni, P Borba Electronic Notes in Theoretical Computer Science 130, 3-21, 2005 | 32 | 2005 |
| An approach to invariant-based program refactoring T Massoni Electronic Communications of the EASST 3, 2007 | 30* | 2007 |
| Automatically Checking Feature Model Refactorings. R Gheyi, T Massoni, P Borba J. Univers. Comput. Sci. 17 (5), 684-711, 2011 | 26 | 2011 |
| Formal model-driven program refactoring T Massoni, R Gheyi, P Borba International Conference on Fundamental Approaches to Software Engineering …, 2008 | 24 | 2008 |
| Prioritizing test cases for early detection of refactoring faults ELG Alves, PDL Machado, T Massoni, M Kim Software Testing, Verification and Reliability 26 (5), 402-426, 2016 | 22 | 2016 |
| Basic laws of object modeling R Ghevi Universidade Federal de Pernambuco, 2004 | 21 | 2004 |
| Test coverage of impacted code elements for detecting refactoring faults: An exploratory study ELG Alves, T Massoni, PD de Lima Machado Journal of Systems and Software 123, 223-238, 2017 | 18 | 2017 |
| A refactoring-based approach for test case selection and prioritization ELG Alves, PDL Machado, T Massoni, STC Santos 2013 8th International Workshop on Automation of Software Test (AST), 93-99, 2013 | 18 | 2013 |
| Saferefactor-tool for checking refactoring safety G Soares, D Cavalcanti, R Gheyi, T Massoni, D Serey, M Cornélio Tools Session at SBES, 49-54, 2009 | 15 | 2009 |
| Zika: a new system to empower health workers and local communities to improve surveillance protocols by e-learning and to forecast Zika virus in real time in Brazil JD Beltrán, A Boscor, WP dos Santos, T Massoni, P Kostkova Proceedings of the 2018 international conference on digital health, 90-94, 2018 | 14 | 2018 |
Rohit GheyiFederal University of Campina GrandeE-mail confirmado em dsc.ufcg.edu.br
