快速检查

QuickCheck：一个用于随机测试Haskell程序的轻量级工具。QuickCheck是一个帮助Haskell程序员制定和测试程序属性的工具。属性被描述为Haskell函数，可以对随机输入进行自动测试，但也可以定义自定义测试数据生成器。我们提供了一些成功使用该工具的案例研究，并指出了一些需要避免的陷阱。随机测试特别适用于函数程序，因为属性可以用细粒度表示。当一个函数是由单独测试的组件构建的，那么随机测试可以获得被测试定义的良好覆盖范围。

这个软件也是同行评审按日记帐汤姆斯.

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献，1标准件)

显示88个结果中的1到20个。
按年份排序(引用)
  1. Lukšič，Žiga；Pretnar，Matija:局部代数效应理论（2020）
  2. Bendkowski，Maciej；Bodini，Olivier；Dovgal，Sergey:lambda项的统计特性（2019年）
  3. Bendkowski，Maciej；Lescanne，Pierre:关于闭包和环境的枚举及其在随机生成中的应用（2019）
  4. Caballero，Rafael；Martin Martin，Enrique；Riesco，Adrián；Tamarit，Salvador:声明性调试的核心Erlang语义（2019）
  5. Ghica，Dan R.；Alyahya，Khulood:使用LSTM对游戏模型的潜在语义分析（2019年）
  6. Johansson，Moa：归纳引理的发现。调查（2019年）
  7. Mostowski，Wojciech:用于测试灰盒系统的基于模型的故障注入（2019）
  8. Paulson，Lawrence C.；Nipkow，Tobias；Wenzel，Makarius:从LCF到Isabelle/HOL（2019年）
  9. 奥斯汀，埃文；巴特森，斯科特；库里，彼得；威廉姆斯，布赖恩：寻找计算机辅助加密的中间地带（2018）
  10. Rafael的Caballero；Martin Martin，Enrique；Riesco，Adrián；Tamarit，Salvador:并发Erlang程序的声明性调试（2018）
  11. 石井，广美：嵌入Haskell的纯功能计算机代数系统（2018）
  12. 阿尔伯特，埃尔维拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；马丁马丁马丁，恩里克：从演员到哈斯凯尔的正式、资源消耗保护翻译（2017）
  13. Brandt，Jörgen；Reisig，Wolfgang；Leser，Ulf:功能科学工作流语言楔形文字的计算语义（2017）
  14. 西蒙·克鲁恩斯：《可满足模有界检验》（2017）
  15. 西蒙·克鲁恩斯：《结构归纳的叠加》（2017）
  16. David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit:Erlang代码进化控制（2017）阿尔十四
  17. Gerdes，Alex；Heeren，Bastian；Jeuring，Johan；van Binsbergen，L.Thomas：Haskell提供自动反馈的适应性编程导师（2017）数学
  18. Johansson，Moa:交互式定理证明的自动理论探索：Hipster系统简介（2017）
  19. Lampropoulos，Leonidas；Galois Wong，Diane；Hriţcu，Cătălin；Hughes，John；Pierce，Benjamin C.；Xia，Li yao：《初学者的运气：基于财产的发电机的语言》（2017）
  20. Dubois，Catherine；Giorgetti，Alain；Genestier，Richard:枚举组合学的检验与证明（2016）