Tao Lv, Ruishi Li, Yi Yang, Kai Chen, Xiaojing Liao, Xiaofeng Wang 0001, Peiwei Hu, Luyi Xing. RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection. In Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna, editors, CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020. pages 1837-1852, ACM, 2020. [doi]
@inproceedings{LvLYCLWHX20,
title = {RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection},
author = {Tao Lv and Ruishi Li and Yi Yang and Kai Chen and Xiaojing Liao and Xiaofeng Wang 0001 and Peiwei Hu and Luyi Xing},
year = {2020},
doi = {10.1145/3372297.3423360},
url = {https://doi.org/10.1145/3372297.3423360},
researchr = {https://researchr.org/publication/LvLYCLWHX20},
cites = {0},
citedby = {0},
pages = {1837-1852},
booktitle = {CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020},
editor = {Jay Ligatti and Xinming Ou and Jonathan Katz and Giovanni Vigna},
publisher = {ACM},
isbn = {978-1-4503-7089-9},
}