文章编号
标题
作者
年卷期:起始页码-结束页码
复制
4562
一种状态事件故障树的时间特性分析方法
徐丙凤,黄志球,胡军,魏欧,李伟湋
2015,26(2):427-446
4589
一个浮点数学函数库测试平台
许瑾晨,黄永忠,郭绍忠,周蓓,赵捷
2015,26(6):1306-1321
4592
一种具有时间多样性的虚拟机软件保护方法
房鼎益,赵媛,王怀军,顾元祥,许广莲
2015,26(6):1322-1339
4598
一种高效的基于服务功能规约的服务选择方法
白琳,叶丹,魏峻,黄涛
2015,26(8):1886-1906
4607
一种面向移动应用的探索式服务组合方法
白琳,魏峻,黄翔,叶丹,黄涛
2015,26(9):2191-2211
4628
Apla中泛型约束机制研究
左正康,薛锦云
2015,26(6):1340-1355
4658
相关路径静态分析中协同式逆向推理方法
郭曦,王盼
2015,26(1):1-13
4671
测试含有标志变量程序的占优语句(集)选择
巩敦卫,钟超群,姚香娟
2015,26(8):1925-1936
4672
基于缺陷关联度的Markov模型软件优化测试策略
包晓安,谢晓鸣,张娜,曹建文,桂宁
2015,26(1):14-25
4685
多用户服务器程序自恢复系统
史椸,冯雨声,齐勇,孙伟
2015,26(8):1907-1924
4708
基于程序频谱的动态缺陷定位方法研究
陈翔,鞠小林,文万志,顾庆
2015,26(2):390-412
4711
基于事件处理函数的GUI测试用例集约简技术
陈军成,薛云志,陶秋铭,赵琛
2015,26(8):1871-1885
4713
中断驱动系统模型检验
周筱羽,顾斌,赵建华,杨孟飞,李宣东
2015,26(9):2212-2230
4738
基于关键迹和ASP的CSP模型检测
赵岭忠,翟仲毅,钱俊彦,郭云川
2015,26(10):2521-2544
4745
多目标优化的测试用例优先级在线调整策略
张娜,姚澜,包晓安,董萌,桂宁
2015,26(10):2451-2464
1
2
3
4
一共
56
条记录 共
4
页 第
1
页
第一页
上一页
下一页
最后一页
跳转到第
页
用微信扫一扫
