小支票

SimultCuffice和懒惰SimeChest:小值的自动穷举测试。本文描述了两个Haskell库,用于基于属性的测试。在QuestChestin的引导下,这些测试库SimultChalk和St懒SnCnChor也使用基于类型的生成器来获得对其属性进行检查的有限值的测试集,并报告找到的任何反例。但是,不是使用随机生成的值的样本,而是测试所有值到一定限制深度的属性,逐步增加该限制。本文解释了两个库的设计和实现,并相互比较,并与QuickCheck进行评估。

这个软件也是同行评审通过期刊toms.


ZBMaCT中的参考文献(19篇文章中引用)

显示结果1至19的19。
按年份排序(引文

  1. 狄洛斯,桑德拉;克里斯琴,简,TeGEN,芬恩:用非严格非决定论实现概率编程库(2020)
  2. 保尔森,Lawrence C.;尼普科夫,托拜厄斯;文策尔,Makarius:从LCF到伊莎贝尔/HOL(2019)
  3. 杜布瓦,凯瑟琳;GioGeTi,ALAN:自定义数据生成器的测试和证明(2018)
  4. Ishii,Hiromi:嵌入Haskell(2018)的纯功能计算机代数系统
  5. 切尼,杰姆斯;MimigiLango,阿尔伯托:(αalpha):机械化元理论模型检查器(2017)
  6. 杜布瓦,凯瑟琳;乔吉蒂,Alain;Geestisher,李察:枚举组合数学的检验和证明(2016)
  7. 雷诺兹,安得烈;Blanchette,Jasmin Christian;Cracees,西蒙;Tinelli,Casay:SMT中递归函数的模型发现(2016)
  8. 克雷森,Koen;杜雷格,乔纳斯,Pa Ka,米莎H.:均匀分布生成约束随机数据(2015)
  9. 特姆布莱,雨果;Labelle,吉尔伯特;Brek,Sr.Ko;Brordin Mulee,亚历山大:原子组合微分算子的穷举生成(2014)
  10. 布尔瓦恩,卢卡斯:新的快速检查伊莎贝尔。一个屋檐下的随机、详尽和符号测试(2012)
  11. Hanus,米迦勒:通过需求分析改进懒惰非确定性计算(2012)
  12. Koopman,Pieter;Achten,彼得;Primjje,Runu:基于模型的逻辑特性与状态机的测试(2012)
  13. Matsuda,KasuTaKa;Inaba,Kazuhiro;Nakano,KeSukK:多重数据遍历累积函数的多项式时间逆计算(2012)
  14. Reich,Jason S.;内勒,马修;Runcimman,柯林:规范测试程序的懒惰生成(2012)伊波尔特
  15. RiSeCo,ADRIAN:使用变窄测试Maude规范(2012)伊波尔特
  16. SunnEX,威廉;DoSoopulouu,索菲亚;EISEBBACH,苏珊:芝诺:递归数据结构性质的自动证明器(2012)
  17. Blanchette,Jasmin Christian;BulaWHN,卢卡斯;NIPKOW,托拜厄斯:伊莎贝尔/ HOL(2011)中的自动证明和反证
  18. BulaWHN,卢卡斯:通过逻辑编程的智能测试数据生成器(2011)
  19. Achten,彼得;van Eekelen,马尔科;Koopman,Pieter;MalasaN,Marco T.:函数编程趋势1999/2000与2007/2008(2010)