Mining library specifications using inductive logic programming

Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Abstract

Software libraries organize useful functionalities in order to promote modularity and code reuse. A typical library is used by client programs through an application programming interface (API) that hides its internals from the client. Typically, the rules governing the correct usage of the API are documented informally. In many cases, libraries may have complex API usage rules and unclear documentation. As a result, the behaviour of the library under some corner cases may not be well understood by the programmer. Formal specifications provide a precise understanding of the API behaviour.

BibTeX

@inproceedings{Sankaranarayanan-al:ICSE08,
  author    = {Sriram Sankaranarayanan and
               Franjo Ivancic and
               Aarti Gupta},
  title     = {Mining library specifications using inductive logic programming},
  booktitle = {ICSE},
  pages     = {131--140},
  publisher = {{ACM}},
  year      = {2008},
}

Mining library specifications using inductive logic programming

Abstract

Related papers