Login / Signup
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