Catnap: generating test suites of constrained combinatorial testing with answer set programming

DOI10.1007/978-3-319-61660-5_24MaRDI QIDQ2401942zbMATH OpenOpenAlexFDO

Authors Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Publication date 5 September 2017

Full work available at URL https://doi.org/10.1007/978-3-319-61660-5_24

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• A formal logic approach to constrained combinatorial testing
• On testing answer-set programs
• A Logic-Based Approach to Combinatorial Testing with Constraints
• Towards a framework for constraint-based test case generation
• \(\mathsf {Harvey}\): a system for random testing in ASP

Cited in

(4)

• Generating event-sequence test cases by answer set programming with the incidence matrix
• A formal logic approach to constrained combinatorial testing
• Catnap
• \(\mathsf {Harvey}\): a system for random testing in ASP

Describes a project that uses

Uses Software

• teaspoon

This page was built for publication: Catnap: generating test suites of constrained combinatorial testing with answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401942)