Antonio Carvalho is an author at Universidade de Brasília specializing in software design, systems engineering, and software testing.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware SystemsSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2018–2020
2
2
C-3PR: A Bot for Fixing Static Analysis Violations via Pull Requests
Antonio Carvalho, Welder Luz, Diego Marcílio et al. · 2020 · 32 citations
Rows per page
1–2 of 2