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

Browse the full CCS paper archive.