Inferring method specifications from natural language API descriptions

R Pandita, X Xiao, H Zhong, T Xie… - 2012 34th …, 2012 - ieeexplore.ieee.org
Application Programming Interface (API) documents are a typical way of describing legal
usage of reusable software libraries, thus facilitating software reuse. However, even with …

Inferring resource specifications from natural language API documentation

H Zhong, L Zhang, T Xie, H Mei - 2009 IEEE/ACM International …, 2009 - ieeexplore.ieee.org
Typically, software libraries provide API documentation, through which developers can learn
how to use libraries correctly. However, developers may still write code inconsistent with API …

Discovering information explaining API types using text classification

G Petrosyan, MP Robillard… - 2015 IEEE/ACM 37th IEEE …, 2015 - ieeexplore.ieee.org
Many software development tasks require developers to quickly learn a subset of an
Application Programming Interface (API). API learning resources are crucial for helping …

Export: Detecting and visualizing api usages in large source code repositories

E Moritz, M Linares-Vásquez… - 2013 28th IEEE/ACM …, 2013 - ieeexplore.ieee.org
This paper presents a technique for automatically mining and visualizing API usage
examples. In contrast to previous approaches, our technique is capable of finding examples …

Recovering traceability links between an API and its learning resources

B Dagenais, MP Robillard - 2012 34th international conference …, 2012 - ieeexplore.ieee.org
Large frameworks and libraries require extensive developer learning resources, such as
documentation and mailing lists, to be useful. Maintaining these learning resources is …

Hardware verification using software analyzers

R Mukherjee, D Kroening… - 2015 IEEE Computer …, 2015 - ieeexplore.ieee.org
Program analysis is a highly active area of research, and the capacity and precision of
software analyzers is improving rapidly. We investigate the use of modern software …

Automatic generation of object usage specifications from large method traces

M Pradel, TR Gross - 2009 IEEE/ACM International Conference …, 2009 - ieeexplore.ieee.org
Formal specifications are used to identify programming errors, verify the correctness of
programs, and as documentation. Unfortunately, producing them is error-prone and time …

Learning to extract api mentions from informal natural language discussions

D Ye, Z Xing, CY Foo, J Li… - 2016 IEEE International …, 2016 - ieeexplore.ieee.org
When discussing programming issues on social platforms (eg, Stack Overflow, Twitter),
developers often mention APIs in natural language texts. Extracting API mentions in natural …

Improving api usage through automatic detection of redundant code

D Kawrykow, MP Robillard - 2009 IEEE/ACM International …, 2009 - ieeexplore.ieee.org
Software projects often rely on third-party libraries made accessible through Application
Programming Interfaces (APIs). We have observed many cases where APIs are used in …

Automatic parameter recommendation for practical API usage

C Zhang, J Yang, Y Zhang, J Fan… - 2012 34th …, 2012 - ieeexplore.ieee.org
Programmers extensively use application programming interfaces (APIs) to leverage
existing libraries and frameworks. However, correctly and efficiently choosing and using …