Mingwei Liu, Xin Peng 0001, Andrian Marcus, Christoph Treude, Xuefang Bai, Gang Lyu, Jiazhan Xie, Xiaoxin Zhang. Learning-based extraction of first-order logic representations of API directives. In Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta, editors, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. pages 491-502, ACM, 2021. [doi]
Abstract is missing.