伊曼·布迪巴;克里斯托夫·加斯顿;帕斯卡尔·勒加尔;维吉尔·普雷沃斯托 具有功能摘要的过渡系统的符号执行。 （英语） Zbl 1491.68108号 Gabmeyer，Sebastian（编辑）等人，《测试与证明》。2017年7月19日至20日，作为2017年STAF的一部分，在德国马尔堡举行了2017年第11届国际会议TAP。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10375, 41-58 (2017).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Boudhiba}等人，Lect。注释计算。科学。10375，41-58（2017；Zbl 1491.68108） 全文： 内政部 链接
帕斯卡尔·勒加尔;尼古拉斯·拉宾;阿西亚·图伊尔 细化测试的符号执行技术。 （英语） 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年；兹bl 1185.68413） 全文： 内政部