Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix

DOI10.4230/LIPIcs.ICLP.2012.86zbMath1281.68076OpenAlexW1593723900MaRDI QIDQ5398046

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

matrix modelconstraint programminganswer set programmingpropositional satisfiability (SAT)event-sequence testing

Mathematics Subject Classification ID

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

Related Items (1)

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