swMATH ID: 27499
Software Authors: Banbara, Mutsunori; Inoue, Katsumi; Kaneyuki, Hiromasa; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki
Description: Catnap: generating test suites of constrained combinatorial testing with answer set programming. We develop an approach to test suite generation for constrained combinatorial testing (CCT), one of the most widely studied combinatorial testing techniques, based on answer set programming (ASP). The resulting catnap system accepts a CCT instance in fact format and combines it with a first-order encoding for generating test suites, which can subsequently be solved by any off-the-shelf ASP systems. We evaluate the effectiveness of our approach by empirically contrasting it to the best known bounds obtained via dedicated implementations.
Homepage: https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_24
Related Software: teaspoon; NoHR; ArgueApply; Moviola; lp2normal; Harvey; plasp
Cited in: 2 Publications

Citations by Year