Colección SciELO Chile

Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl
Búsqueda Publicación
Búsqueda por Tema Título, Abstract y Keywords



Upper bounds on the sizes of variable strength covering arrays using the Lovasz local lemma
Indexado
WoS WOS:000500371400012
Scopus SCOPUS_ID:85074536500
DOI 10.1016/J.TCS.2019.10.022
Año 2019
Tipo artículo de investigación

Citas Totales

Autores Afiliación Chile

Instituciones Chile

% Participación
Internacional

Autores
Afiliación Extranjera

Instituciones
Extranjeras


Abstract



Covering arrays are generalizations of orthogonal arrays that have been widely studied and are used in software testing. The probabilistic method has been employed to derive upper bounds on the sizes of minimum covering arrays and give asymptotic upper bounds that are logarithmic on the number of columns of the array. This corresponds to test suites with a desired level of coverage of the parameter space where we guarantee the number of test cases is logarithmic on the number of parameters of the system. In this paper, we study variable strength covering arrays, a generalization of covering arrays that uses a hypergraph to specify the sets of columns where coverage is required; (standard) covering arrays are the special case where coverage is required for all sets of columns of a fixed size t, its strength. We use the probabilistic method to obtain upper bounds on the number of rows of a variable strength covering array, given in terms of parameters of the hypergraph. We then compare this upper bound with another one given by a density-based greedy algorithm on different types of hypergraph such as t-designs, cyclic consecutive hypergraphs, planar triangulation hypergraphs, and a more specific hypergraph given by a clique of higher strength on top of a "base strength". The conclusions are dependent on the class of hypergraph, and we discuss specific characteristics of the hypergraphs which are more amenable to using different versions of the Lovasz local lemma. (C) 2019 Elsevier B.V. All rights reserved.

Métricas Externas



PlumX Altmetric Dimensions

Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:

Disciplinas de Investigación



WOS
Computer Science, Theory & Methods
Scopus
Computer Science (All)
Theoretical Computer Science
SciELO
Sin Disciplinas

Muestra la distribución de disciplinas para esta publicación.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Colaboración Institucional



Muestra la distribución de colaboración, tanto nacional como extranjera, generada en esta publicación.


Autores - Afiliación



Ord. Autor Género Institución - País
1 Moura, Lucia Mujer Univ Ottawa - Canadá
University of Ottawa, Canada - Canadá
University of Ottawa - Canadá
2 Raaphorst, Sebastian Hombre Observatorio Gemini - Chile
Gemini ObservatorySouthern Operations Center - Chile
3 Stevens, Brett Hombre CARLETON UNIV - Canadá
Carleton University - Canadá

Muestra la afiliación y género (detectado) para los co-autores de la publicación.

Financiamiento



Fuente
Natural Sciences and Engineering Research Council of Canada
NSERC-Canada Discovery grant
NSERC-Canada

Muestra la fuente de financiamiento declarada en la publicación.

Agradecimientos



Agradecimiento
Lucia Moura was supported by NSERC-Canada Discovery grant RGPIN-2017-05212 and Brett Stevens was supported by NSERC-Canada Discovery grant RGP1N-2017-06392. The authors would like to thank the anonymous reviewers for various suggestions that improved the presentation of this paper.
Lucia Moura was supported by NSERC -Canada Discovery grant RGPIN-2017-05212 and Brett Stevens was supported by NSERC -Canada Discovery grant RGPIN-2017-06392 . The authors would like to thank the anonymous reviewers for various suggestions that improved the presentation of this paper.

Muestra la fuente de financiamiento declarada en la publicación.