纪尧姆·佩蒂奥;尼古拉·科马托夫;伯纳德·波特拉;阿兰·乔治蒂;雅克·朱利安德 测试如何帮助诊断验证失败。 (英语) Zbl 1425.68079号 正式Asp。计算。 30,第6号,629-657(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Petiot}等人,《形式Asp》。计算。30,编号6269-657(2018;兹bl 1425.68079) 全文: DOI程序 哈尔
萨伏安·塔哈;雅克·朱利安德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔Kanso 一种基于合成自动机的语义,并保留用于测试属性模式的转换规则。 (英语) Zbl 1338.68164号 正式Asp。计算。 27,第4期,641-664(2015).MSC公司:68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Taha}等人,正式Asp。计算。27,第4号,641--664(2015;Zbl 1338.68164) 全文: DOI程序
雅克·朱利安德;皮埃尔·阿莱·马森;雷吉斯·蒂索特;皮埃尔·克莱斯托普·布埃 根据B规范和动态选择标准生成测试。 (英语) 兹比尔1214.68217 正式Asp。计算。 23,第1期,3-19(2011).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Julliand}等人,《形式语法》。计算。23,第1号,第3-19号(2011;Zbl 1214.68217) 全文: DOI程序 哈尔