【摘 要】
:
Temporal specifications for Application Programming Interfaces (APIs) serve as an important basis for many defect detection tools.As these specifications are of
【机 构】
:
Institute of Software
【基金项目】
:
the Science Fund for Creative Research Groups of China;the National Basic Research 973 Program of China
论文部分内容阅读
Temporal specifications for Application Programming Interfaces (APIs) serve as an important basis for many defect detection tools.As these specifications are often not well documented,various approaches have been proposed to automatically mine specifications typically from API library source code or from API client programs.However,the library-based approaches take substantial computational resources and produce rather limited useful specifications,while the client-based approaches suffer from high false positive rates.To address the issues of existing approaches,we propose a novel specification miniug approach,called MineHEAD,which exploits heterogeneous API data,including information from API client programs as well as API library source code and comments,to produce effective specifications for defect detection with low cost.In particular,MineHEAD first applies client-based specification mining to produce a collection of candidate specifications,and then exploits the related library source code and comments to identify and refine the real specifications from the candidates.Our evaluation results on nine open source projects show that MineHEAD produces effective specifications with average precision of 97.2%.
其他文献
Nano-TiO_2 as an eco-friendly and efficient nanocatalyst was applied for quinoxaline preparation with improved yield.In this protocol,diketones and 1,2-diamines
This paper is devoted to the study of the subspace of Wm'r of functions that vanish on a part γ0 of the boundary.The author gives a crucial estimate of the Poi
In this paper,we study a boundary value problem of nonlinear fractional differential equations of order q (1 < q ≤ 2) with non-separated integral boundary condi
A new composite adsorbent,nano-Fe3O4/bacterial cellulose(BC),was prepared through blending method.The process of adsorbing Cd2+ including its isotherm and kinet
First of all,some technical tools are developed. Then the author studies explicit traveling wave solutions to nonlinear dispersive wave equations,nonlinear diss
Preparation and blood compatibility of different shape polyvinyl alcohol(PVA)membrane were investigated.Firstly,the tabular and tubular[polytetrafluoroethylene(
The formation of κ-carrageenan droplets in channel emulsification was experimentally investigated.The dispersed phase was vertically injected into co-flowing i
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
A novel hyperbranched conjugated chemosensor with bipyridyl groups as periphery groups (BPY-HPV) was synthesized. BPY-HPV was highly sensitive to metal ions (Cu
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7