×

找到3个文档(结果1-3)

具有无界变量的开放系统的基于符号执行的模型检查。 (英语) 兹比尔1246.68157

凯瑟琳·杜波伊斯(编辑),《测试与证明》。第三届国际会议,TAP 2009,瑞士苏黎世,2009年7月2日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02948-6/pbk)。计算机科学讲座笔记5668137-152(2009)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

细化测试的符号执行技术。 (英语) Zbl 1196.68049号

古瑞维奇、尤里(编辑)等,《测试与证明》。2007年2月12日至13日在瑞士苏黎世举行的TAP 2007第一届国际会议。修订论文。柏林:施普林格出版社(ISBN 978-3-540-73769-8/pbk)。计算机科学课堂讲稿4454131-148(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于测试目的定义的符号执行技术。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段

软件