酒精试验原

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


zbMATH中的参考文献(参考 9篇文章 参考)

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

  1. Lochbihler,Andreas:Isabelle/HOL中的快速机器词(2018)
  2. Brucker,Achim D.;Wolff,Burkhart:一元序列测试和显式测试改进(2016)
  3. Brucker,Achim D.;Brügger,Lukas;Wolff,Burkhart:\textscHol TestGen/fw。基于规范的防火墙一致性测试环境(2013)ioport公司
  4. Brucker,Achim D.;Wolff,Burkhart:基于定理证明的测试(2013)
  5. Daniel M.Zimmerman;Nagmoti,Rinkesh:JMLUnit:下一代(2011)
  6. 布鲁克,阿希姆·D.;沃尔夫,伯克哈特:霍尔斯特根。一个交互式测试用例生成框架(2009)ioport公司
  7. Zybin,R.S.;Kuliamin,V.V.;Ponomarenko,A.V.;Rubanov,V.V.;Chernov,E.S.:广义健全性测试生成自动化(2008)
  8. Brucker,Achim D.;Wolff,Burkhart:使用Hol TestGen生成测试序列,并将其应用于防火墙测试(2007)
  9. Brucker,Achim D.;Wolff,Burkhart:与HOL TestGen的交互测试(2006)ioport公司