小支票 swMATH ID: 9736 软件作者： Runciman，C.、Naylor，M.、Lindblad，F。 描述： SmallCheck和Lazy SmallCheck:对小值进行自动穷举测试。本文描述了两个用于基于属性测试的Haskell库。在QuickCheck的领导下，这些测试库SmallCheck和Lazy SmallChecks还使用基于类型的生成器来获取有限值的测试集，对这些测试集的属性进行检查，并报告发现的任何反例。但是，他们没有使用随机生成的值的样本，而是测试所有值的属性，直到达到某个极限深度，并逐渐增加这个极限。本文解释了这两个库的设计和实现，并对它们进行了比较和QuickCheck评估。 主页： http://dl.acm.org/citation.cfm？id=1411292 相关软件： 快速检查;哈斯克尔;Nitpick公司;轻松检查;PVS公司;Coq公司;快速鸡;大锤;伊莎贝尔/HOL;毫升;伊莎贝尔;南美林猫;z3（零3）;伊萨尔;焦点测试;VAMPIRE公司;E定理证明器;HOL公司;米扎尔;梅蒂斯_ 引用于： 18文件 全部的 前5名38位作者引用 三 卢卡斯·布尔瓦恩 2 彼得·阿奇顿 2 贾斯敏·克里斯蒂安·布兰切特 2 凯瑟琳·杜布瓦 2 阿兰·乔治蒂 2 彼得·科普曼 2 托比亚斯·尼普科 1 马西耶·本德考斯基 1 亚历山大·布隆丁马萨诸塞 1 奥利维埃·博迪尼 1 斯雷切科·布列克 1 詹姆斯·切尼 1 简·克里斯蒂安森 1 科恩·克莱森 1 西蒙·克鲁内斯 1 谢尔盖·多夫格尔 1 索菲亚·克洛伊·德罗索波卢 1 乔纳斯·杜雷格德 1 桑德拉·戴卢斯 1 苏珊·艾森巴赫 1 理查德·杰内斯蒂尔 1 迈克尔·哈纳斯 1 稻田，Kazuhiro 1 石井，广美 1 吉尔伯特·拉贝尔 1 松田和川 1 马可·T·莫拉赞。 1 中野圭介 1 米夏·帕夫卡。 1 劳伦斯·查尔斯·保尔森 1 莱纳斯·普拉斯梅耶 1 安德鲁·雷诺兹 1 威廉·桑奈克斯 1 蒂根，芬兰人 1 塞萨尔·蒂内利 1 雨果·特伦布雷 1 马克·范·埃克伦 1 马卡里乌斯·温泽尔 全部的 前5名6篇连载文章中引用 2 计算的形式方面 2 高阶和符号计算 2 逻辑程序设计理论与实践 1 理论计算机科学 1 组合数学、概率与计算 1 函数编程杂志 在4个字段中引用 17 计算机科学（68至XX） 三 组合数学（05-XX） 2 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文