轻松检查 swMATH ID: 9735 软件作者: 扬·克里斯蒂安森(Jan Christiansen);塞巴斯蒂安·费舍尔 描述: EasyCheck-免费测试数据。我们提出了一种轻量级、自动化的工具,用于对用函数逻辑编程语言Curry编写的声明性程序进行基于规范的测试,并强调逻辑功能在其实现和使用中的有用性。自由变量、不确定性和封装搜索是表示测试数据生成的优雅而强大的方法。 主页: http://link.springer.com/chapter/10.1007/978-3-540-78969-7_23 相关软件: 快速检查;咖喱;小支票;哈斯克尔;教堂;PAKCS公司;KiCS2系列;PFLP公司;瑞士;工厂;扁平咖喱;玩具;伊莎贝尔;PVS公司;伊莎贝尔/HOL;Nitpick公司;毫升;探测日志;Korat公司;可爱的 引用于: 10文件 全部的 前5名26位作者引用 2 彼得·阿奇顿 2 彼得·科普曼 2 蒂根,芬兰人 1 塞尔吉奥·安托伊 1 乔瓦尼·巴奇 1 卢卡斯·布尔瓦恩 1 简·克里斯蒂安森 1 科恩·克莱森 1 马可·科米尼 1 乔纳斯·杜雷格德 1 桑德拉·戴卢斯 1 马可·费利乌。 1 塞巴斯蒂安·费舍尔 1 戴安·加洛瓦·旺 1 Hriţcu,科特林 1 休斯,约翰 1 奥列格·基塞利约夫 1 莱昂尼达斯·兰普罗普洛斯 1 马可·T·莫拉赞。 1 米查·H·帕卡。 1 本杰明·皮尔斯。 1 Plasmeijer,里努斯 1 Shan、Chung-chieh 1 马克·范·埃克伦 1 艾丽西亚·维拉纽埃娃 1 夏丽瑶 4篇连载文章中引用 1 符号计算杂志 1 函数编程杂志 1 高阶与符号计算 1 逻辑程序设计理论与实践 在1个字段中引用 10 计算机科学(68至XX) 按年份列出的引文