Generating event-sequence test cases by answer set programming with the incidence matrix

DOI10.4230/LIPICS.ICLP.2012.86MaRDI QIDQ5398046zbMATH OpenOpenAlexFDO

Authors Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue

Publication date 25 February 2014

Full work available at URL http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.86

zbMATH Keywords

answer set programmingconstraint programmingmatrix modelpropositional satisfiability (SAT)event-sequence testing

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in artificial intelligence (68T27)

Recommendations

• Constraint models for the covering test problem
• Catnap: generating test suites of constrained combinatorial testing with answer set programming
• Recent Advances in Constraints
• On testing answer-set programs
• Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)

Cited in

(4)

• scientific article; zbMATH DE number 1870537 (Why is no real title available?)
• Algebraic and SAT models for SCA generation
• Excess coverage arrays and Levenshtein's conjecture
• Sequence Covering Arrays and Linear Extensions

This page was built for publication: Generating event-sequence test cases by answer set programming with the incidence matrix

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