QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Supporting Oracle Construction via Static Analysis 其他 2016-01-01 Chen, Junjie; Bai, Yanwei; Hao, Dan; Zhang, Lingming; Zhang, Lu; Xie, Bing; Mei, Hong 收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03 Test oracle  oracle data selection  static analysis  GENERATION  SOFTWARE  PROGRAMS   城市交通场景下基于与或图模型的车辆检测方法研究 学位论文 工学博士, 中国科学院自动化研究所: 中国科学院大学, 2014 作者:  李叶 收藏  |  浏览/下载：118/0  |  提交时间：2015/09/02 车辆检测  与或图模型  车辆遮挡  混合图像模板  概率模型  城市交通场景  Vehicle Detection  And-Or Graph  Vehicle Occlusion  Hybrid Image Template  Probability Model  Urban Tra ffic Condition   On plane graphs with link component number equal to the nullity 期刊论文 2012 Lin, Yuefeng; Noble, S. D.; Jin, Xian'an; 金贤安 收藏  |  浏览/下载：6/0  |  提交时间：2013/03/29 Link component number  Nullity  Near-extremal graphs  Bicycle space  Tutte polynomial   A Static Approach to Prioritizing JUnit Test Cases 期刊论文 ieee transactions on software engineering, 2012 Mei, Hong; Hao, Dan; Zhang, Lingming; Zhang, Lu; Zhou, Ji; Rothermel, Gregg 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/10 Software testing  regression testing  test case prioritization  JUnit  call graph  CALL GRAPH CONSTRUCTION  TEST-SUITE REDUCTION  COVERAGE INFORMATION  MUTATION FAULTS  SYSTEM  COST   基于二进制补丁比对的软件输入数据自动构造 期刊论文 计算机工程与设计, 2010, 卷号: 31, 期号: 14, 页码: 3169-3173 沈亚楠; 赵荣彩; 任华; 王小芹; 刘振华; 张新宇; 李鹏飞 收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23 软件二进制补丁比对  函数调用图  遗传算法  适应值函数  软件输入数据自动构造software binary path difference  function call graph  evolutionary algorithm  fitness function  automatic software input data construct   On semisymmetric cubic graphs of order 6p(2) 其他 2004-01-01 Lu, ZP; Wang, CQ; Xu, MY 收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03 (G-)semisymmetric graph  symmetric graph  bi-Cayley graph  regular covering  group action  AUTOMORPHISMS  COVERINGS   Efficient points-to analysis for partial call graph construction 会议论文 Vancouver, BC, Canada, July 1, 2014 - July 3, 2014 作者:  Wan, Zhiyuan[1];  Zhou, Bo[1];  Wang, Ye[2];  Shen, Yuanhong[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30