帕斯卡尔·勒加尔；尼古拉斯·拉宾；阿西亚·图伊尔 细化测试的符号执行技术。 （英语） Zbl 1196.68049号 古瑞维奇、尤里（编辑）等，《测试与证明》。2007年2月12日至13日在瑞士苏黎世举行的TAP 2007第一届国际会议。修订论文。柏林：施普林格出版社（ISBN 978-3-540-73769-8/pbk）。计算机科学课堂讲稿4454131-148（2007）。MSC公司：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Le Gall}等人，Lect。票据计算。科学。4454、131--148（2007年；Zbl 1196.68049） 全文： 内政部
克里斯托弗·加斯顿；帕斯卡尔·勒加尔；尼古拉斯·拉宾；阿西亚·图伊尔 用于测试目的定义的符号执行技术。 （英语） Zbl 1185.68413号 Uyar，M.U mit（编辑）等人，《通信系统测试》。第18届IFIP TC6/WG6.1国际会议，TestCom 2006，美国纽约，2006年5月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34184-6/pbk）。计算机科学课堂讲稿3964，1-18（2006）。MSC公司：60年第68季度 68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Gaston}等人，Lect。票据计算。科学。3964，1-18（2006年；Zbl 1185.68413） 全文： 内政部