Seguir
Antônio Carvalho Jr.
Antônio Carvalho Jr.
Tribunal de Contas da União
E-mail confirmado em tcu.gov.br
Título
Citado por
Citado por
Ano
C-3PR: A bot for fixing static analysis violations via pull requests
A Carvalho, W Luz, D Marcilio, R Bonifácio, G Pinto, ED Canedo
2020 IEEE 27th International conference on software analysis, evolution and …, 2020
272020
Reconciling the past and the present: An empirical study on the application of source code transformations to automatically rejuvenate java programs
R Dantas, A Carvalho, D Marcilio, L Fantin, U Silva, W Lucas, R Bonifácio
2018 IEEE 25th international conference on software analysis, evolution and …, 2018
182018
Using CafeOBJ to mechanise refactoring proofs and application
AC Júnior, L Silva, M Cornélio
Electronic Notes in Theoretical Computer Science 184, 39-61, 2007
162007
Formalização de Refatorações Usando o Sistema de Reescrita CafeOBJ
AC Júnior, L Silva
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–4