酒精试验原

holtestgen是一个用于基于规范的单元测试的测试用例生成器。HOL-TestGen建立在规范和定理证明环境Isabelle/HOL之上。


zbMATH中的参考文献(参考文献10条)

显示第1到第10个结果,共10个。
按年份排序(引用)

  1. 哈拉汉,威廉T。;翟恩南;Piskac,Ruzica:防火墙自动修复示例(2020)
  2. Lochbihler,Andreas:Isabelle/HOL中的快速机器词(2018)
  3. 布鲁克,阿希姆D。;Wolff,Burkhart:一元序列测试和显式测试改进(2016)
  4. 布鲁克,阿希姆D。;布吕格尔,卢卡斯;沃尔夫,伯克哈特:\textscHol TestGen/fw。基于规范的防火墙一致性测试环境(2013)ioport公司
  5. 布鲁克,阿希姆D。;Wolff,Burkhart:基于定理证明的测试(2013)
  6. 齐默尔曼,丹尼尔M。;Nagmoti,Rinkesh:JMLUnit:下一代(2011)
  7. 布鲁克,阿希姆D。;沃尔夫,伯克哈特:霍尔斯特根。一个交互式测试用例生成框架(2009)ioport公司
  8. Zybin,R.S。;库利亚明,V.V。;波诺马伦科,A.V。;鲁巴诺夫。;Chernov,E.S.:广义健全性测试生成的自动化(2008)
  9. 布鲁克,阿希姆D。;Wolff,Burkhart:Hol-TestGen的测试序列生成及其在防火墙测试中的应用(2007)
  10. 布鲁克,阿希姆D。;Wolfkhart,2006互动测试ioport公司