小岛贤介;赤泉伊马尼西;Atsushi Igarashi 自动验证无赛跑GPU程序的功能正确性。 (英语) Zbl 1426.68054号 J.自动化。推理 60,第3号,279-298(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima}等人,J.Autom。推理60,No.3,279--298(2018;Zbl 1426.68054) 全文: DOI程序
萨帕里亚克里希纳莫奥斯蒂;Michael S.肖。;洛加那坦林加潘 程序的可扩展符号执行驱动测试生成策略。 (英语) Zbl 1267.68094号 科学。中国,信息科学。 54,第9期,1797-1812(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Krishnamoorthy}等人,科学。中国,信息科学。54,No.9,1797--1812(2011;Zbl 1267.68094) 全文: DOI程序 链接