Constraint Models for the Covering Test Problem

  title={Constraint Models for the Covering Test Problem},
  author={Brahim Hnich and Steven David Prestwich and Evgeny Selensky and Barbara M. Smith},
Covering arrays can be applied to the testing of software, hardware and advanced materials, and to the effects of hormone interaction on gene expression. In this paper we develop constraint programming models of the problem of finding an optimal covering array. Our models exploit global constraints, multiple viewpoints and symmetry-breaking constraints. We show that compound variables, representing tuples of variables in our original model, allow the constraints of this problem to be… CONTINUE READING
Highly Cited
This paper has 131 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 65 extracted citations

131 Citations

Citations per Year
Semantic Scholar estimates that this publication has 131 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…