Sign in
RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection.
Tao Lv
Ruishi Li
Yi Yang
Kai Chen
Xiaojing Liao
XiaoFeng Wang
Peiwei Hu
Luyi Xing
Published in:
CCS (2020)
Keyphrases
</>
document images
model checking
knowledge discovery
information retrieval
misuse detection
information retrieval systems
anomaly detection
intrusion detection
cross platform
machine learning
open source
web documents
code snippets
document analysis
pattern discovery
retrieval systems
test collection
keywords