catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming

Paper

First seen 7/7/2026

Last seen 7/7/2026

Evidence 2 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

9 connections

catnap introduces → 100% 1e

The paper introduces the catnap system for CCT test suite generation using ASP.

Mutsunori Banbara authored by → 100% 1e

Mutsunori Banbara is listed as an author of the paper.

Katsumi Inoue authored by → 100% 1e

Katsumi Inoue is listed as an author of the paper.

Torsten Schaub authored by → 100% 1e

Torsten Schaub is listed as an author of the paper.

Naoyuki Tamura authored by → 100% 1e

Naoyuki Tamura is listed as an author of the paper.

Kobe University authored by → 95% 1e

Several authors are affiliated with Kobe University.

NII authored by → 95% 1e

Katsumi Inoue is affiliated with NII.

The paper mentions ASP encodings for event-sequence testing as related work.

The paper mentions CASP as a related area and future direction.