爱德华多·罗德里格斯。;菲利普·奥·纳沃。;查罗·帕内塔;塞尔索·门德斯。 在虚拟化处理器环境中保留原始MPI语义。 (英语) Zbl 1264.68048号 科学。计算。程序。 78,第4期,412-421(2013).MSC公司:第68页第19页 68号30 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Rodrigues}等人,科学。计算。程序。78,第4号,412--421(2013;Zbl 1264.68048) 全文: 内政部
波皮娅,科尼柳;魏恩根·钦 双重分析,用于证明安全性和发现漏洞。 (英语) Zbl 1264.68065号 科学。计算。程序。 78,第4号,390-411(2013).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Popeea}和\textit{W.-N.Chin},科学。计算。程序。78,编号4,390-411(2013;兹bl 1264.68065) 全文: 内政部
佩德罗·雷莱斯·马特奥;乌萨奥拉、马卡里奥·波罗;杰夫·奥弗特 多类和系统级别的变异。 (英语) Zbl 1264.68061号 科学。计算。程序。 78,第4期,364-387(2013).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.R.Mateo}等人,科学。计算。程序。78,第4号,364--387(2013;Zbl 1264.68061) 全文: 内政部
约翰·A·克拉克。;Dan,海涛;Robert M.Hierons。 语义变异测试。 (英语) Zbl 1264.68055号 科学。计算。程序。 78,第4号,345-363(2013).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Clark}等人,科学。计算。程序。78,第4号,345--363(2013;Zbl 1264.68055) 全文: 内政部
马尔扬·默尼克(编辑);巴雷特·布莱恩德(编辑) 特刊:根据2010年3月22日至26日在瑞士Sierre举行的第25届ACM应用计算研讨会(SAC 2010)上的演讲选出的论文。 (英语) Zbl 1273.68039号 科学。计算。程序。78,第4号,388-421(2013)。 MSC公司:68-06 00B25型 68牛顿 PDF格式BibTeX公司 XML格式
莱迪·杜·布斯奎特(编辑);杰里米·布拉德伯里(编辑);戈登·弗雷泽(编辑) 特刊:根据2010年4月6日在法国巴黎举行的第五届突变分析国际研讨会(2010年突变)上的演讲选出的论文。 (英语) Zbl 1273.68048号 科学。计算。程序。78,第4期,343-387(2013)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式