Mining Effective Temporal Specifications from Heterogeneous API Data

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:baijiw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
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