Software Testing and Debugging Techniques
Open access
Peer reviewed
Scollr summary
What this paper is about
CP and SAT methods are applied to the problem of finding covering arrays, which are combinatorial objects used to reduce the number of trials in testing applications and are able to prove the optimality of some existing bounds and to find some improved solutions.
Full abstract
Read the full abstract
Abstract Earlier versions of this work were presented at workshops in 2004–5 and the final version was published in the Constraints journal in 2006. In our paper we applied CP and SAT methods to the problem of finding covering arrays, which are combinatorial objects used to reduce the number of trials in testing applications. We were able to prove the optimality of some existing bounds and to find some improved solutions.
Direct answer
What can I do from this paper page?
Use this page to scan "Comments on “Constraint models for the covering test problem”" quickly: start with the summary and abstract, then check the authors, source, topics, and related papers. From here, open Scollr to follow Software Testing and Debugging Techniques research, save the paper, or map adjacent work.
Research areas
Follow related topics
Citation
BibTeX
@article{Hnich2026Comments,
title = {Comments on “Constraint models for the covering test problem”},
author = {Brahim Hnich and Steven D. Prestwich and Evgeny Selensky and Barbara M. Smith},
journal = {Constraints},
year = {2026},
doi = {10.1007/s10601-026-09387-4},
url = {https://doi.org/10.1007/s10601-026-09387-4}
}FAQ
Using this paper in a discovery workflow
How do I find related work for this paper?
Use the related papers and topic links on this page as starting points. In Scollr, you can also open the paper and build a literature map around its references, citing papers, and related work.
How can I keep up with new Software Testing and Debugging Techniques research papers?
Follow Software Testing and Debugging Techniques research in Scollr. New papers from the topic flow into a personalized feed, and you can save useful studies to revisit later.
Can I cite this paper from this page?
This page includes a static BibTeX block for Comments on “Constraint models for the covering test problem”. Always verify the DOI, source, and publication details against the publisher record before submitting a manuscript.
Follow this research in Scollr
Follow the topics and authors behind this paper, save useful studies, and build a literature map when you are ready to go deeper.
Get the app