穆苏诺里·班巴拉;井上，Katsumi;广岛市Kaneyuki;冈本、腾达;托尔斯滕·绍布;苏，武藏;铃木田村 Catnap：使用答案集编程生成约束组合测试的测试套件。 （英语） Zbl 1491.68189号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377265-278（2017年）。 摘要：我们开发了一种基于答案集编程（ASP）的约束组合测试（CCT）测试套件生成方法，CCT是研究最广泛的组合测试技术之一。生成的catnap系统接受事实格式的CCT实例，并将其与用于生成测试套件的一阶编码相结合，这些测试套件随后可以由任何现成的ASP系统解决。我们通过将其与通过专用实现获得的最佳已知边界进行经验对比来评估我们的方法的有效性。关于整个系列，请参见[Zbl 1367.68005号]. MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68N17号 逻辑编程 软件：茶匙;卡特纳普 PDF格式BibTeX公司 XML格式引用 \textit{M.Banbara}等人，Lect。注释计算。科学。10377，265--278（2017；Zbl 1491.68189） 全文： 内政部