catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. - Mutsunori Banbara; Katsumi Inoue; Hiromasa Kaneyuki; Tenda Okimoto; Torsten Schaub; Takehide Soh; Naoyuki Tamura (LPNMR, 2017)