Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (Q5398046)
From MaRDI portal
scientific article; zbMATH DE number 6261530
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix |
scientific article; zbMATH DE number 6261530 |
Statements
25 February 2014
0 references
event-sequence testing
0 references
answer set programming
0 references
matrix model
0 references
constraint programming
0 references
propositional satisfiability (SAT)
0 references
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (English)
0 references
