维普期刊资源整合服务平台（V6.5）

160篇 您的检索式：期刊名="Software Testing Verification Reliability"

选中清除导出查看参考文献查看引证文献引用追踪共8页首页上一页第1页下一页末页 /8 跳转

	题名	作者	年代	出处	被引量
1	Combination testing strategies: a survey 显示文摘	Grindal M Offutt J Andler S F	2005	Software Testing Verification and Reliability2005，15，：	1
2	IPOG/IPOG -D : Efficient Test Generation for Multi-way Combinatorial Testing 显示文摘	Lei Y Kacker R -Kuhn D R	2008	Software Testing Verification and Reliability2008，18，13：	1
3	Testing from Z specification显示文摘	Robert M Hierons	1997	The Journal of Software Testing Verification and Reliability1997，7，：	1
4	Using symbolic exeeution to guide test generation 显示文摘	Lee G Morris J Parker K	2005	Journal of Software Testing Verification and Reliability2005，15，1：	1
5	Search-based software test data generation: a survey显示文摘	McMinn P	2004	Software Testing Verification and Reliability2004，14，2：	1
6	Estimating the number of remaining defects after inspection显示文摘	Miller J	1999	Software Testing Verification and Reliability1999，4，：	1
7	Generating test data from state-based specifications显示文摘	Jeff Offutt Liu Shaoying Aynur Abdurazik	2003	Journal of Software Testing Verification and Reliability2003，13，1：	1
8	Formal specification and testing:A case study显示文摘	Laycock G	1992	The Journal of Software Testing Verification and Reliability1992，2，：	1
9	Software Model Checking: Extracting verification models from source code显示文摘	Holzmann G J Smith M H	2001	Software Testing Verification and Reliability2001，11，6：	1
10	Search-based software test data generation: A survey 显示文摘	McMinn P	2004	Software Testing Verification Reliability2004，14，2：	1
11	A framework for practical, automated blackbox testing of component-based software 显示文摘	S H Edwards	2001	Software Testing Verification and Reliability2001，11，2：	1
12	A framework for practical, automated black-box testing of component-based software显示文摘	Edwards S H	2001	Journal of Software Testing Verification and Reliability2001，11，2：	1
13	Generating Test Data From State-based Specifications显示文摘	Jeff Offutt Shaoying Liu Aynur Abdurazik	2003	The Journal of Software Testing Verification and Reliability2003，13，1：	1
14	State-of-the-art : Software inspections after 25 years 显示文摘	Aurum A Petersson H Wohlin C	2002	Software Testing Verification and Reliability2002，12，3：	1
15	Regression testing minimization, selection and prioritizatiom A survey显示文摘	Yoo S Harman M	2012	Software Testing Verification & Reliability2012，22，2：	1
16	A taxonomy of model-based testing approaches显示文摘	UTTING M PRETSCHNER A LEGEARD B	2012	Software Testing Verification and Reliability2012，22，5：	1
17	Reliability assessment based on hazard rate model for an embedded OSS porting-phase显示文摘	TAMURA v YAMADA S	2013	Software Testing Verification &- Reliability2013，23，1：	1
18	Dynamic Method of Software Test Data Generation显示文摘	Korel B	1992	Journal of Software Testing Verification & Reliability1992，2，4：	1
19	Search-based software test data generation: a survey 显示文摘	McMinn P	2004	Software Testing Verification and Reliability2004，14，2：	1
20	Generating Test Data From State-based Specifications显示文摘	Jeff Offutt Shaoying Liu Aynur Abdurazik	2005	The Journal of Software Testing Verification And Reliability2005，13，1：	1

返回顶部每页显示：

共8页首页上一页第1页下一页末页 /8 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示