Volgen
Antônio Carvalho Jr.
Antônio Carvalho Jr.
Tribunal de Contas da União
Geverifieerd e-mailadres voor tcu.gov.br
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4