Effective interactive resolution of static analysis alarms.

Xin Zhang Radu Grigore Xujie Si Mayur Naik

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

static analysis
dynamic analysis
high quality
source code
user interaction
databases
database
domain knowledge
data warehouse
regular expressions
false alarms
java card