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 | 224 | 2006 |
Automated behavioral testing of refactoring engines G Soares, R Gheyi, T Massoni IEEE Transactions on Software Engineering 39 (2), 147-162, 2012 | 133 | 2012 |
Making program refactoring safer G Soares, R Gheyi, D Serey, T Massoni IEEE software 27 (4), 52-57, 2010 | 128 | 2010 |
A theory for feature models in alloy R Gheyi, T Massoni, P Borba First alloy workshop, 71-80, 2006 | 103 | 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 |
PDC: Persistent data collections pattern T Massoni, V Alves, S Soares, P Borba | 42 | 2001 |
A UML class diagram analyzer T Massoni, R Gheyi, P Borba TUM, 100, 2004 | 40 | 2004 |
A rigorous approach for proving model refactorings R Gheyi, T Massoni, P Borba Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 37 | 2005 |
An abstract equivalence notion for object models R Gheyi, T Massoni, P Borba Electronic Notes in Theoretical Computer Science 130, 3-21, 2005 | 34 | 2005 |
Algebraic Laws for Feature Models. R Gheyi, T Massoni, P Borba J. UCS 14 (21), 3573-3591, 2008 | 32 | 2008 |
An approach to invariant-based program refactoring T Massoni Electronic Communications of the EASST 3, 2007 | 31* | 2007 |
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 | 28 | 2011 |
Automatically Checking Feature Model Refactorings. R Gheyi, T Massoni, P Borba J. UCS 17 (5), 684-711, 2011 | 23 | 2011 |
Formal model-driven program refactoring T Massoni, R Gheyi, P Borba International Conference on Fundamental Approaches to Software Engineering …, 2008 | 23 | 2008 |
Basic laws of object modeling R Ghevi Universidade Federal de Pernambuco, 2004 | 22 | 2004 |
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 | 20 | 2016 |
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 | 17 | 2013 |
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 | 14 | 2017 |
A model-driven approach to formal refactoring T Massoni, R Gheyi, P Borba Companion to the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005 | 12 | 2005 |
Generating unit tests for checking refactoring safety G Soares, R Gheyi, T Massoni, M Cornélio, D Cavalcanti Brazilian Symposium on Programming Languages, 159-172, 2009 | 11 | 2009 |