Phoenix: automated data-driven synthesis of repairs for static analysis violations.

Rohan Bavishi Hiroaki Yoshida Mukul R. Prasad

Published in: ESEC/SIGSOFT FSE (2019)

Keyphrases

static analysis
data driven
dynamic analysis
source code
java card
symbolic execution
malicious code
abstract interpretation
integrity constraints
test suite
test generation
database
regular expressions
software testing
query processing
data mining
databases
test case generation
data sets