吉尔吉斯州奥尔班;拉兹洛·科兹马 在软件开发中使用不同的工具定义合同。 (英语) Zbl 1249.68034号 安大学科学。布达普。罗兰多·Eötvös,Sect。计算。 36, 323-339 (2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Orbán}和\textit{L.Kozma},安理大学。布达普。罗兰多·Eötvös,Sect。计算。36223-339(2012年;兹比尔1249.68034)
盖尔盖·德瓦伊 嵌入式语言的扩展模式匹配。 (英语) Zbl 1249.68030号 安大学科学。布达普。罗兰多·Eötvös,Sect。计算。 36, 277-297 (2012).MSC公司:68号30 68N17号 第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{G.Dévai},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。36、277--297(2012;Zbl 1249.68030)
达尼尔·莱斯科;马塞·特杰费尔 基于领域的新代码覆盖度量和相关的自动测试数据生成方法。 (英语) Zbl 1249.68032号 安大学科学。布达普。罗兰多·Eötvös,Sect。计算。 36, 217-240 (2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Leskó}和\textit{M.Tejfel},安理大学。布达普。罗兰多·Eötvös,Sect。计算。36、217--240(2012;Zbl 1249.68032)
米哈利·比斯科;佐尔坦波科拉布 面向中基于公理的测试生成。NET应用程序。 (英语) Zbl 1249.68029号 安大学科学。布达普。罗兰多·Eötvös,Sect。计算。 36, 5-22 (2012).MSC公司:68号30 68问题65 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Biczó}和\textit{Z.Porkoláb},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。36、5--22(2012;Zbl 1249.68029)