|
1
|
模糊测试用例生成技术研究综述 |
刘慧
侯同定
赵博
郭涵彬
|
《计算机工程与科学》
北大核心
|
2025 |
0 |
|
|
2
|
面向航空软件需求模型的MC/DC测试用例生成方法 |
丁鼎
胡军
王康星
董泽华
王立松
|
《小型微型计算机系统》
北大核心
|
2025 |
1
|
|
|
3
|
基于神经元覆盖指标的测试用例生成优化研究 |
肖子勤
史涯晴
曲豫宾
|
《计算机科学》
北大核心
|
2025 |
0 |
|
|
4
|
代理辅助多任务进化优化引导的MPI程序路径覆盖测试用例生成 |
孙百才
巩敦卫
姚香娟
|
《软件学报》
北大核心
|
2025 |
0 |
|
|
5
|
FADEC软件需求形式化建模与测试用例生成的实例研究 |
董泽华
胡军
沈翔宇
熊波
董亚炯
戴嘉磊
|
《南京航空航天大学学报(自然科学版)》
北大核心
|
2025 |
0 |
|
|
6
|
一种基于威胁模型的安全测试用例生成框架和工具 |
付昌兰
张贺
李凤龙
匡宏宇
|
《软件学报》
EI
CSCD
北大核心
|
2024 |
0 |
|
|
7
|
Web应用测试用例生成研究 |
彭树深
顾庆
陈道蓄
|
《计算机科学》
CSCD
北大核心
|
2010 |
7
|
|
|
8
|
基于模式组合的粒子群优化测试用例生成方法 |
姜淑娟
王令赛
薛猛
张艳梅
于巧
姚慧冉
|
《软件学报》
EI
CSCD
北大核心
|
2016 |
20
|
|
|
9
|
一个基于UML协作图的集成测试用例生成方法 |
王林章
李宣东
郑国梁
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2004 |
25
|
|
|
10
|
基于One-test-at-a-time策略的可变力度组合测试用例生成方法 |
王子元
钱巨
陈林
徐宝文
|
《计算机学报》
EI
CSCD
北大核心
|
2012 |
13
|
|
|
11
|
基于UML活动图模型的测试用例生成技术研究 |
张楣
刘超
孙昌爱
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
2001 |
21
|
|
|
12
|
Web应用前后端融合的遗传算法并行化测试用例生成 |
王微微
李奕超
赵瑞莲
李征
|
《软件学报》
EI
CSCD
北大核心
|
2020 |
18
|
|
|
13
|
基于正交搜索的粒子群优化测试用例生成方法 |
王令赛
姜淑娟
张艳梅
于巧
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2014 |
10
|
|
|
14
|
组合测试用例生成技术 |
王子元
徐宝文
聂长海
|
《计算机科学与探索》
CSCD
|
2008 |
35
|
|
|
15
|
基于正交法的软件测试用例生成 |
汤红霞
方木云
刘明
秦飞
|
《计算机工程与设计》
CSCD
北大核心
|
2008 |
11
|
|
|
16
|
基于模型检测工具NuSMV的功能测试用例生成方法 |
何洋
洪玫
祁琳莹
王存伟
郑佳琪
|
《计算机应用》
CSCD
北大核心
|
2015 |
7
|
|
|
17
|
一种基于改进遗传算法的路径测试用例生成方法 |
包晓安
熊子健
张唯
吴彪
张娜
|
《计算机科学》
CSCD
北大核心
|
2018 |
13
|
|
|
18
|
基于接口自动机与符号执行的嵌入式软件测试用例生成 |
王博
白晓颖
张超
贺飞
SONG Xiao-Yu
|
《计算机学报》
EI
CSCD
北大核心
|
2015 |
9
|
|
|
19
|
基于免疫遗传算法的构件化软件测试用例生成 |
马臻
张毅坤
梁荣
鲁晓锋
徐艳丽
解建仓
|
《计算机工程》
EI
CAS
CSCD
北大核心
|
2006 |
6
|
|
|
20
|
基于变异分析和集合进化的测试用例生成方法 |
张功杰
巩敦卫
姚香娟
|
《计算机学报》
EI
CSCD
北大核心
|
2015 |
7
|
|
