罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸,印戈;亨氏里纳;弗兰茨·罗克 根据时序逻辑规范综合自适应测试策略。 (英语) 兹比尔1427.68160 形式方法系统。设计。 55,编号2,103-135(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。55,No.2,103--135(2019;Zbl 1427.68160) 全文: 内政部 arXiv公司 OA许可证
安娜·卡瓦尔坎蒂;玛丽·克劳德·高德尔 痕迹细化的测试选择。 (英语) Zbl 1302.68086号 西奥。计算。科学。 563, 1-42 (2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}和\textit{M.-C.Gaudel},Theor。计算。科学。563,1--42(2015;Zbl 1302.68086) 全文: 内政部
Robert M.Hierons。 基于异步模型测试的复杂性。 (英语) 兹比尔1251.68118 西奥。计算。科学。 451, 70-82 (2012).MSC公司:2017年第68季度 68号30 68米15 PDF格式BibTeX公司 XML格式引用 \文本{R.M.Hierons},Theor。计算。科学。451、70-82(2012年;Zbl 1251.68118) 全文: 内政部