小支票 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定理证明器；霍尔；米扎尔；梅蒂斯_ 引用于： 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 松田，Kazutaka 1 马可·T·莫拉赞。 1 中野圭介 1 米查·H·帕卡。 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） 按年份列出的引文