欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
Early Filtering of Polluting Method Calls for Mining Temporal Specifications
所属机构名称:北京大学
会议名称:15th Asia-Pacific Software Engineering Conference (APSEC)
成果类型:会议
相关项目:基于模式的程序代码可信性度量方法研究
作者:
Hao Zhong|Lu Zhang|Hong Mei|
同会议论文项目
基于模式的程序代码可信性度量方法研究
期刊论文 6
会议论文 15
同项目会议论文
Test Generation via Dynamic Symbolic Execution for Mutation Testing
Matching Dependence-Related Queries in the System Dependence Graph
Locating Need-to-Translate Constant Strings in Web Applications
Is Operator-Based Mutant Selection Superior to Random Mutant Selection?
TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization
Jtop: Managing JUnit Test Cases in Absence of Coverage Information
Quota-Constrained Test-Case Prioritization for Regression Testing of Service-Centric Systems
Locating Need-to-Translate Constant Strings for Software Internationalization
MAPO: Mining and Recommending API Usage Patterns
Time-Aware Test-Case Prioritization using Integer Linear Programming
Generating Effective Test Sequences for BPEL Testing
Inferring Resource Specifications from Natural Language API Documentation
Inferring Specifications of Object Oriented APIs from API Source Code
基于语法与语义分析的代码搜索结果优化