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

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

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

	题名	作者	年代	出处	被引量
1	Testing from Z specification显示文摘	Robert M Hierons	1997	The Journal of Software Testing Verification and Reliability1997，7，：	1
2	Using symbolic exeeution to guide test generation 显示文摘	Lee G Morris J Parker K	2005	Journal of Software Testing Verification and Reliability2005，15，1：	1
3	Generating test data from state-based specifications显示文摘	Jeff Offutt Liu Shaoying Aynur Abdurazik	2003	Journal of Software Testing Verification and Reliability2003，13，1：	1
4	Formal specification and testing:A case study显示文摘	Laycock G	1992	The Journal of Software Testing Verification and Reliability1992，2，：	1
5	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
6	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
7	Dynamic Method of Software Test Data Generation显示文摘	Korel B	1992	Journal of Software Testing Verification & Reliability1992，2，4：	1
8	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
9	Testing from a Z specification显示文摘	HIERONS R M	1997	Journal of Software Testing Verification and Reliability1997，7，1：	1
10	Systematic testing of data abstractions based on software specifications显示文摘	ZWEBEN S HEYM W KIMMICH J	1992	Journal of Software Testing Verification and Reliability1992，4，1：	1
11	An empirical investigation of the relationship between fault-revealing test behavior and differences in program spectra显示文摘	Harrold M J Rothermel G Sayre K	2006	Journal of Software Testing Verification and Reliability2006，10，3：	1
12	Test-Data Generation Using Genetic Algorithms显示文摘	Pargas R Harrold M Peck R	1999	Journal of Software Testing Verification & Reliability1999，9，4：	1
13	Test Data Generation Using Genetic Algorithms显示文摘	Pargas R Harrold M Peck R	1999	Journal of Software Testing Verification & Reliability1999，9，4：	1
14	Dynamic Method of Software Test Data Generation显示文摘	Korel B	1992	Journal of Software Testing Verification & Reliability1992，2，4：	1
15	Dynamic method of software test data generation 显示文摘	Korel B	1992	Journal of software testing verification and reliability1992，2，4：	1
16	Experimental Evaluation of the Tolerance for Control - Flow Test Criteria 显示文摘	KALPESH KAPOOR JONATHAN BOWEN	2004	Journal of Software Testing Verification and Reliability2004，14，3：	1
17	Integration testing of object-oriented components using finite state machines显示文摘	Gallagher L Offutt A J	2007	The Journal of Software Testing Verification and Reliability2007，17，1：	1
18	Test-data Generation Using Genetic Algorithms显示文摘	Pargas R P Harrold M J	1999	The Journal of Software Testing Verification and Reliability1999，9，4：	1
19	Test-data generation using genetic algorithms显示文摘	PARGAS R HARROLD M J PECK R	1999	Journal of Software Testing Verifications and Reliability1999，1999，9：	1
20	Software reliability models:a selected bibliography显示文摘		1993	Journal of Software Testing Verification and Reliability1993，，3：	1

返回顶部每页显示：

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

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

用户提示