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 | 255 | 2006 |
Automated behavioral testing of refactoring engines GS Soares Proceedings of the 3rd annual conference on Systems, programming, and …, 2012 | 166 | 2012 |
Making program refactoring safer G Soares Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 156 | 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 Anais do XIX Simpósio Brasileiro de Engenharia de Software, 152-167, 2005 | 51 | 2005 |
A rigorous approach for proving model refactorings R Gheyi, T Massoni, P Borba Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 46 | 2005 |
A UML class diagram analyzer T Massoni, R Gheyi, P Borba 3rd International Workshop on Critical Systems Development with UML …, 2004 | 44 | 2004 |
PDC: Persistent data collections pattern T Massoni, V Alves, S Soares, P Borba First Latin American Conference on Pattern Languages of Programming …, 2001 | 42 | 2001 |
Algebraic Laws for Feature Models. R Gheyi, T Massoni, P Borba J. Univers. Comput. Sci. 14 (21), 3573-3591, 2008 | 38 | 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 | 37 | 2011 |
An abstract equivalence notion for object models R Gheyi, T Massoni, P Borba Electronic Notes in Theoretical Computer Science 130, 3-21, 2005 | 33 | 2005 |
An approach to invariant-based program refactoring T Massoni Electronic Communications of the EASST 3, 2006 | 32* | 2006 |
Automatically Checking Feature Model Refactorings. R Gheyi, T Massoni, P Borba J. Univers. Comput. Sci. 17 (5), 684-711, 2011 | 29 | 2011 |
Formal model-driven program refactoring T Massoni, R Gheyi, P Borba Fundamental Approaches to Software Engineering: 11th International …, 2008 | 28 | 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 | 25 | 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 | 24 | 2013 |
Refactoring inspection support for manual refactoring edits ELG Alves, M Song, T Massoni, PDL Machado, M Kim IEEE Transactions on Software Engineering 44 (4), 365-383, 2017 | 21 | 2017 |
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 | 21 | 2017 |
Basic laws of object modeling R Ghevi Universidade Federal de Pernambuco, 2004 | 21 | 2004 |
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 | 19 | 2018 |