Sign in
C-3PR: A Bot for Fixing Static Analysis Violations via Pull Requests.
Antonio Carvalho
Welder Pinheiro Luz
Diego Marcilio
Rodrigo Bonifácio
Gustavo Pinto
Edna Dias Canedo
Published in:
SANER (2020)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
test generation
test suite
data sets
regular expressions
abstract interpretation
user requests
database systems
decision trees
constraint violations
test case generation
game ai
knowledge base