Travelled to:
1 × Hungary
1 × Spain
2 × USA
Collaborated with:
R.Gheyi P.Borba E.L.G.Alves P.D.d.L.Machado V.Alves U.Kulesza C.J.P.d.Lucena
Talks about:
refactor (5) model (2) approach (1) program (1) product (1) extract (1) coverag (1) analysi (1) method (1) impact (1)
Person: Tiago Massoni
DBLP: Massoni:Tiago
Contributed to:
Wrote 4 papers:
- SAC-2015-AlvesMM #case study #detection #fault #impact analysis #refactoring #test coverage
- Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring (ELGA, TM, PDdLM), pp. 1534–1540.
- FASE-2008-MassoniGB #formal method #modelling #refactoring
- Formal Model-Driven Program Refactoring (TM, RG, PB), pp. 362–376.
- GPCE-2006-AlvesGMKBL #product line #refactoring
- Refactoring product lines (VA, RG, TM, UK, PB, CJPdL), pp. 201–210.
- ASE-2005-GheyiMB #approach #proving #refactoring
- A rigorous approach for proving model refactorings (RG, TM, PB), pp. 372–375.