QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 内容类型：会议论文    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Cascade: A test generation tool for combinatorial testing 会议论文 IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, Luxembourg, Luxembourg, March 18, 2013 - March 20, 2013 Zhao, Yong (1); Zhang, Zhiqiang (1); Yan, Jun (2); Zhang, Jian (1) 收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16 combinatorial testing  test generation  constrained optimization  parameter constraints   local search with edge weighting and configuration checking heuristics for minimum vertex cover 会议论文 Cai Shaowei; Su Kaile; Sattar Abdul 收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10 Combinatorial optimization  Learning algorithms  Problem solving   an algebraic approach to mechanical tabu search algorithm generation 会议论文 2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878 Zheng Yujun; Shi Haihe; Xue Jinyun 收藏  |  浏览/下载：9/0  |  提交时间：2011/03/31 Algebra  Automatic programming  Combinatorial optimization  Information science  Learning algorithms  Machinery  Specifications   problem reduction graph model for discrete optimization problems 会议论文 3rd International Joint Conference on Computational Sciences and Optimization, CSO 2010: Theoretical Development and Engineering Practice, Huangshan, Anhui, China, 43979 Zheng Yujun; Xue Jinyun 收藏  |  浏览/下载：11/0  |  提交时间：2011/03/31 Algorithms  Combinatorial optimization  Computer software reusability  Inference engines  Reusability   approximation and hardness results for label cut and related problems 会议论文 6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 43969 Zhang Peng; Cai Jin-Yi; Tang Linqing; Zhao Wenbo 收藏  |  浏览/下载：14/0  |  提交时间：2011/03/20 Approximation algorithms  Combinatorial optimization  Computational complexity  Graph theory  Hardness   toward an automatic approach to greedy algorithms 会议论文 3rd International Workshop on Frontiers in Algorithmics, Hefei, PEOPLES R CHINA, JUN 20-23, Zheng Yujun; Xue Jinyun; Zuo Zhengkang 收藏  |  浏览/下载：11/0  |  提交时间：2011/03/20 Combinatorial optimization problems  PAR method  problem singleton  greedy algorithm   approximating generalized multicut on trees 会议论文 3rd Conference on Computability in Europe (CiE 2007), Siena, ITALY, JUN 18-23, Zhang Peng 收藏  |  浏览/下载：9/0  |  提交时间：2011/06/29 generalized multicut  tree  approximation algorithm  combinatorial optimization