佛罗伦萨伊帕特;迪米特里斯·德拉尼迪斯 来自确定性流X机器规范的统一集成和组件测试方法。 (英语) Zbl 1335.68021号 正式Asp。计算。 28,第1号,1-20(2016).MSC公司:68米15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{D.Dranidis},正式Asp。计算。28,编号1,1--20(2016;Zbl 1335.68021) 全文: 内政部
Robert M.Hierons。;佛罗伦萨伊帕特 针对不可控制的非确定性流X机器测试确定性实现。 (英语) Zbl 1163.68327号 正式Asp。计算。 20,第6号,597-617(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons}和\textit{F.Ipate},正式Asp。计算。20,第6号,597--617(2008;Zbl 1163.68327) 全文: 内政部 链接
博格达诺夫,K。;M.霍尔科姆。;F.伊帕特。;种子,L。;瓦纳克,S。 X光机测试方法综述。 (英语) Zbl 1103.68461号 正式Asp。计算。 18,编号1,3-30(2006).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bogdanov}等人,《形式Asp》。计算。18,第1号,第3--30号(2006;Zbl 1103.68461) 全文: 内政部
佛罗伦萨伊帕特 完成确定性流X机器测试。 (英语) Zbl 1061.68096号 正式Asp。计算。 16,第4期,374-386(2004).MSC公司:65年第68季度 68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate},正式Asp。计算。16,第4号,374--386(2004;Zbl 1061.68096) 全文: 内政部
佛罗伦萨伊帕特;迈克·霍尔科姆 通信流(X)-机器系统的测试条件。 (英语) Zbl 1017.68008号 正式Asp。计算。 13,第6期,431-446(2002).MSC公司:64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{M.Holcombe},正式Asp。计算。13,编号6,431-446(2002年;兹bl 1017.68008) 全文: 内政部
佛罗伦萨伊帕特;迈克·霍尔科姆 从非确定性流X机器生成测试集。 (英语) Zbl 1013.68105号 正式Asp。计算。 12,第6期,443-458(2000).MSC公司:65年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{M.Holcombe},正式Asp。计算。12,第6号,443--458(2000;Zbl 1013.68105) 全文: 内政部