博格达诺夫,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) 全文: 内政部
塞尔盖·维尔科米尔。;乔纳森·鲍文(Jonathan P.Bowen)。 从MC/DC到RC/DC:控制流测试标准的形式化和分析。 (英语) Zbl 1103.68471号 正式Asp。计算。 18,第1号,42-62(2006).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Vilkomir}和\textit{J.P.Bowen},正式Asp。计算。18,第1号,42--62(2006;Zbl 1103.68471) 全文: 内政部
哈桑·乌拉尔;克雷格·威廉姆斯 构建分布式测试的检查序列。 (英语) Zbl 1103.68595号 正式Asp。计算。 18,第1期,84-101(2006).MSC公司:65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ural}和\textit{C.Williams},正式Asp。计算。18,第1号,84--101(2006;Zbl 1103.68595) 全文: 内政部
H·H·哈拉尔。;南卡罗莱纳州博罗代伊。;彼得伦科,A。;A.乌尔里奇。 在因果一致分布跟踪中进行属性测试的正式方法。 (英语) Zbl 1103.68381号 正式Asp。计算。 18,第1期,63-83(2006).MSC公司:64岁以下 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hallal}等人,正式Asp。计算。18,编号1,63--83(2006;Zbl 1103.68381) 全文: 内政部
迈克·斯坦内特 自动机的模拟测试。 (英语) Zbl 1103.68593号 正式Asp。计算。 18,第1期,31-41(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Stannett},正式Asp。计算。18、第1号、第31-41号(2006;Zbl 1103.68593) 全文: 内政部