Automated API Property Inference Techniques

• Published in: IEEE transactions on software engineering Vol. 39; no. 5; pp. 613 - 637
• Main Authors: Robillard, M. P., Bodden, E., Kawrykow, D., Mezini, M., Ratchford, T.
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.05.2013; IEEE Computer Society
• Subjects: API; API evolution; API property; API usage pattern; Application programming interface; Association rules; Automated; Automation; Categories; Context; Data mining; Inference; interface; Itemsets; Organizations; pattern mining; Programming; programming rules; Protocols; Reusable; Software engineering; specifications; Statistical inference; Studies; Use statistics
• ISSN: 0098-5589; 1939-3520
• DOI: 10.1109/TSE.2012.63

Frameworks and libraries offer reusable and customizable functionality through Application Programming Interfaces (APIs). Correctly using large and sophisticated APIs can represent a challenge due to hidden assumptions and requirements. Numerous approaches have been developed to infer properties of APIs, intended to guide their use by developers. With each approach come new definitions of API properties, new techniques for inferring these properties, and new ways to assess their correctness and usefulness. This paper provides a comprehensive survey of over a decade of research on automated property inference for APIs. Our survey provides a synthesis of this complex technical field along different dimensions of analysis: properties inferred, mining techniques, and empirical results. In particular, we derive a classification and organization of over 60 techniques into five different categories based on the type of API property inferred: unordered usage patterns, sequential usage patterns, behavioral specifications, migration mappings, and general information.