Sign in
Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations.
Hiroaki Yoshida
Rohan Bavishi
Keisuke Hotta
Yusuke Nemoto
Mukul R. Prasad
Shinji Kikuchi
Published in:
ICSE (Companion Volume) (2020)
Keyphrases
</>
static analysis
data driven
dynamic analysis
source code
malicious code
test suite
artificial intelligence
regular expressions
java card
symbolic execution
abstract interpretation
real world
query language
error rate