RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Tao Lv' in GoogleThis author has not been identified. Look up 'Ruishi Li' in GoogleThis author has not been identified. Look up 'Yi Yang' in GoogleThis author has not been identified. Look up 'Kai Chen' in GoogleThis author has not been identified. Look up 'Xiaojing Liao' in GoogleThis author has not been identified. Look up 'Xiaofeng Wang 0001' in GoogleThis author has not been identified. Look up 'Peiwei Hu' in GoogleThis author has not been identified. Look up 'Luyi Xing' in Google

runs on WebDSL