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

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

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

(6)

• \(\mathsf {Harvey}\): a system for random testing in ASP
• Catnap
• scientific article; zbMATH DE number 1203218 (Why is no real title available?)
• scientific article; zbMATH DE number 1305515 (Why is no real title available?)
• Generating event-sequence test cases by answer set programming with the incidence matrix
• A formal logic approach to constrained combinatorial testing

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)