Seguir
Tiago Massoni
Tiago Massoni
Dirección de correo verificada de dsc.ufcg.edu.br - Página principal
Título
Citado por
Citado por
Año
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
2582006
Automated behavioral testing of refactoring engines
GS Soares
Proceedings of the 3rd annual conference on Systems, programming, and …, 2012
1682012
Making program refactoring safer
G Soares
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
1642010
A theory for feature models in alloy
R Gheyi, T Massoni, P Borba
First alloy workshop, 71-80, 2006
1052006
Formal refactoring for UML class diagrams
T Massoni, R Gheyi, P Borba
Simpósio Brasileiro de Engenharia de Software (SBES), 152-167, 2005
512005
A rigorous approach for proving model refactorings
R Gheyi, T Massoni, P Borba
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
462005
A UML class diagram analyzer
T Massoni, R Gheyi, P Borba
3rd International Workshop on Critical Systems Development with UML …, 2004
452004
PDC: Persistent data collections pattern
T Massoni, V Alves, S Soares, P Borba
First Latin American Conference on Pattern Languages of Programming …, 2001
422001
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
392011
Algebraic Laws for Feature Models.
R Gheyi, T Massoni, P Borba
J. Univers. Comput. Sci. 14 (21), 3573-3591, 2008
342008
An abstract equivalence notion for object models
R Gheyi, T Massoni, P Borba
Electronic Notes in Theoretical Computer Science 130, 3-21, 2005
342005
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
302017
Automatically Checking Feature Model Refactorings.
R Gheyi, T Massoni, P Borba
J. Univers. Comput. Sci. 17 (5), 684-711, 2011
302011
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
292016
Formal model-driven program refactoring
T Massoni, R Gheyi, P Borba
International Conference on Fundamental Approaches to Software Engineering …, 2008
292008
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
242013
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
222018
Basic laws of object modeling
R Gheyi, T Massoni, P Borba
3rd Specification and Verification of Component-Based Systems, 18-25, 2004
212004
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
202017
A review exploring the overarching burden of Zika virus with emphasis on epidemiological case studies from Brazil
M Tunali, AA Radin, S Başıbüyük, A Musah, IVG Borges, O Yenigun, ...
Environmental Science and Pollution Research, 1-15, 2021
192021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20