Skip to content
STIMSMITH

catnap

Tool
First seen 7/7/2026
Last seen 7/7/2026
Evidence 8 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

16 connections
Constrained Combinatorial Testing implements → 100% 2e
catnap is a system for solving CCT problems.
Answer Set Programming uses → 100% 2e
catnap uses ASP as its underlying formalism.
multi-criteria optimization implements → 90% 2e
catnap supports multi-criteria optimization through its encodings.
clingo uses → 100% 2e
catnap delegates solving to clingo as off-the-shelf ASP system.
CASA evaluates → 95% 1e
catnap is experimentally compared against CASA.
TCA evaluates → 95% 1e
catnap is experimentally compared against TCA.
ACTS evaluates → 95% 1e
catnap is experimentally compared against ACTS.
Cascade evaluates → 95% 1e
catnap is experimentally compared against Cascade.
ASP encoding for strength-2 CMCA finding part of → 85% 1e
The CMCA finding encoding is part of catnap's encoding suite.
ASP encoding for optimal strength-2 CMCA finding part of → 85% 1e
The optimal CMCA finding encoding is part of catnap's encoding suite.
prioritized combinatorial testing ← compares with 70% 1e
catnap's weak coverage constraints are related to but differ from prioritized CT.
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming ← introduces 100% 1e
The paper introduces the catnap system for CCT test suite generation using ASP.
CASA uses → 85% 1e
catnap accepts the CASA format and includes a converter for it.
gringo uses → 90% 1e
catnap's encodings are written in the language of the gringo series 4.
test suite generation implements → 100% 1e
catnap is designed for generating test suites for CCT.
Soft Constraints implements → 90% 1e
catnap supports soft constraints in its CCT encoding.