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

71篇 您的检索式：作者名="Hierons"

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

	题名	作者	年代	出处	被引量
1	Checking states and transitions of a set of communicating finite state machines显示文摘	Hierons R M	2001	Microprocessors and Microsystems2001，24，：	1
2	Search Algorithms for Regression Test Case Prioritization显示文摘	Li Z Harman M Hierons R	2007	IEEE Transactions on Software Engineering2007，33，4：	1
3	Testing from Z specification显示文摘	Robert M Hierons	1997	The Journal of Software Testing Verification and Reliability1997，7，：	1
4	Automated unique input output sequence generation for corfformance testing of FSMs 显示文摘	Derderian K Hierons R M Harman M	2006	Computer Journal2006，49，3：	1
5	Testing a system specified using State Charts and Z显示文摘	RM Hierons S Sadeghipour H Singh	2001	Information and Software Technology2001，43，2：	1
6	Testing a system specified using Statecharts and Z显示文摘	Hierons S Sadeghipour Singh H	2001	Information and Software Tchnology2001，，43：	1
7	Testing a system specified using statecharts and Z显示文摘	Hierons R M Sadeghipour S Singh H	2001	Information and Software Technology2001，43，2：	1
8	Estimating the feasibility of transition paths in Extended Finite State Maehines显示文摘	Derderian K Hierons R M Harman M	2010	Automated Software Engineering2010，17，1：	1
9	Testability transformation 显示文摘	Harman M Hu L Hierons R M	2004	IEEE Transactions on Software Engineering2004，30，1：	1
10	Estimating the feasibility of transition paths in extended finite state machines 显示文摘	Derderian K Hierons R M Harman M	2010	Automated Software Engineering2010，17，1：	1
11	Using formal specifications to support testing 显示文摘	Hierons R M Bogdanov K Bowen J P	2009	Computing Survey2009，41，2：	1
12	Do moods affect programmers' debug performance显示文摘	Khan I A Brinkman W P Hierons R M		0，，04：	1
13	Automated unique input output sequence generation for conformance testing of FSMs显示文摘	DERDERIAN K HIERONS R M HARMAN M	2006	Computer Journal2006，49，3：	1
14	Using status messages in the distributed test architecture显示文摘	HIERONS R M	2009	Information and Software Technology2009，51，：	1
15	Subacute enceph?alitis of later adult life mainly affecting the limbic areas显示文摘	BrierleyJB CorsellysJAN Hierons R	1960	Brain1960，83，：	1
16	Checking States and transitions of a set of communicating finite state machines显示文摘	Hierons R M	2001	Microprocessors and Microsystems2001，，24：	1
17	Testing from a Z specification显示文摘	HIERONS R M	1997	Journal of Software Testing Verification and Reliability1997，7，1：	1
18	Search algorithms for regression test case prioritization 显示文摘	LI Z HARMAN M HIERONS R M	2007	IEEE Transactions on Software Engineering2007，33，4：	1
19	Search algorithms for regression test case prioritization显示文摘	Li Z Harman M Hierons R M	2007	IEEE Transactions on Software Engineering2007，23，4：	1
20	Search algorithms for regression test case prioritization 显示文摘	Li Z Harman M Hierons R M	2007	IEEE Transactions on Software Engineering2007，33，4：	1

返回顶部每页显示：

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

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

用户提示