戈登·弗雷泽;安吉洛·加甘蒂尼;弗兰茨·沃塔瓦 基于规范的测试中测试目标的顺序。 （英语） Zbl 1175.68112号 J.日志。阿尔盖布。程序。 78，第6472-490号（2009年）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Fraser}等人，J.Log。阿尔盖布。程序。78，第6号，472--490（2009；Zbl 1175.68112） 全文： 内政部
戈登·弗雷泽;弗兰茨·沃塔瓦 测试时序逻辑属性的补充标准。 （英语） Zbl 1246.68154号 凯瑟琳·杜波伊斯（编辑），《测试与证明》。第三届国际会议，TAP 2009，瑞士苏黎世，2009年7月2日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02948-6/pbk）。计算机科学讲座笔记5668，58-73（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.弗雷泽}和\textit{F.沃塔瓦}，莱克特。注释计算。科学。5668、58--73（2009年；Zbl 1246.68154） 全文： 内政部