kirancodes.me
To Proof Maintenance & Beyond!

Learning-based extraction of first-order logic representations of API directives

Mingwei Liu, Xin Peng, Andrian Marcus, Christoph Treude, Xuefang Bai, Gang Lyu, Jiazhan Xie, Xiaoxin Zhang

Abstract

Developers often rely on API documentation to learn API directives, i.e., constraints and guidelines related to API usage. Failing to follow API directives may cause defects or improper implementations. Since there are no industry-wide standards on how to document API directives, they take many forms and are often hard to understand by developers or challenging to parse with tools.

BibTeX
@inproceedings{Liu-al:FSE21,
  author    = {Mingwei Liu and
               Xin Peng and
               Andrian Marcus and
               Christoph Treude and
               Xuefang Bai and
               Gang Lyu and
               Jiazhan Xie and
               Xiaoxin Zhang},
  title     = {Learning-based extraction of first-order logic representations of {API} directives},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {491--502},
  publisher = {{ACM}},
  year      = {2021},
}

Related papers