尼古拉斯·拉宾 具有无界变量的开放系统的基于符号执行的模型检查。 (英语) 兹比尔1246.68157 凯瑟琳·杜波伊斯(编辑),《测试与证明》。第三届国际会议,TAP 2009,瑞士苏黎世,2009年7月2日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02948-6/pbk)。计算机科学讲座笔记5668137-152(2009)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{N.Rapin},勒克特。注释计算。科学。5668、137--152(2009年;Zbl 1246.68157) 全文: 内政部
帕斯卡尔·勒加尔;尼古拉斯·拉宾;阿西亚·图伊尔 细化测试的符号执行技术。 (英语) 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) 全文: 内政部