Catnap 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 Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Catnap: generating test suites of constrained combinatorial testing with answer set programming. Zbl 1491.68189Banbara, Mutsunori; Inoue, Katsumi; Kaneyuki, Hiromasa; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki 2017 all top 5 Cited by 9 Authors 1 Balduccini, Marcello 1 Banbara, Mutsunori 1 Inoue, Katsumi 1 Janhunen, Tomi 1 Kaneyuki, Hiromasa 1 Okimoto, Tenda 1 Schaub, Torsten H. 1 Soh, Takehide 1 Tamura, Naoyuki Cited in 1 Serial 1 Lecture Notes in Computer Science Cited in 2 Fields 2 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) Citations by Year