Source author record

Yasmeen Akhtar

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
2topics
3close collaborators

Published work

2 publications

preprint2015arXiv

Improved Strength Four Covering Arrays with Three Symbols

A covering array tt-CA(n,k,g)CA(n,k,g), of size nn, strength tt, degree kk, and order gg, is a k×nk\times n array on gg symbols such that every t×nt\times n sub-array contains every t×1t\times 1 column on gg symbols at least once. Covering arrays have been studied for their applications to software testing, hardware testing, drug screening, and in areas where interactions of multiple parameters are to be tested. In this paper, we present an algebraic construction that improves many of the best known upper bounds on nn for covering arrays 4-CA(n,k,g)CA(n,k,g) with g=3g=3. The coveragecoverage measuremeasure μt(A)μ_t(A) of a testing array AA is defined by the ratio between the number of distinct tt-tuples contained in the column vectors of AA and the total number of tt-tuples. A covering array is a testing array with full coverage. The coveringcovering arraysarrays withwith budgetbudget constraintsconstraints problemproblem is the problem of constructing a testing array of size at most nn having largest possible coverage measure, given values of k,gk,g and nn. This paper presents several strength four testing arrays with high coverage. The construction here is a generalisation of the construction methods used by Chateauneuf, Colbourn and Kreher, and Meagher and Stevens.

preprint2015arXiv

Mixed Covering Arrays on 3-Uniform Hypergraphs

Covering arrays are combinatorial objects that have been successfully applied in the design of test suites for testing systems such as software, circuits and networks, where failures can be caused by the interaction between their parameters. In this paper, we perform a new generalization of covering arrays called covering arrays on 3-uniform hypergraphs. Let n,kn, k be positive integers with k≥3k\geq 3. Three vectors x∈Zg1nx\in \mathbb Z_{g_1}^n, y∈Zg2ny\in \mathbb Z_{g_2}^n, z∈Zg3nz\in \mathbb Z_{g_3}^n are {\it 3-qualitatively independent} if for any triplet (a,b,c)∈Zg1 × Zg2 × Zg3(a, b, c) \in \mathbb Z_{g_1}\,\times\, \mathbb Z_{g_2}\,\times\,\mathbb Z_{g_3}, there exists an index j∈{1,2,...,n} j\in \lbrace 1, 2,...,n \rbrace such that (x(j),y(j),z(j))=(a,b,c)( x(j), y(j), z(j)) = (a, b, c). Let HH be a 3-uniform hypergraph with kk vertices v1,v2,…,vkv_1,v_2,\ldots,v_k with respective vertex weights g1,g2,…,gkg_1,g_2,\ldots,g_k. A mixed covering array on HH, denoted by 3−CA(n,H,∏i=1kgi)3-CA(n,H, \prod_{i=1}^{k}g_{i}), is a k×nk\times n array such that row ii corresponds to vertex viv_i, entries in row ii are from ZgiZ_{g_i}; and if {vx,vy,vz}\{v_x,v_y,v_z\} is a hyperedge in HH, then the rows x,y,zx,y,z are 3-qualitatively independent. The parameter nn is called the size of the array. Given a weighted 3-uniform hypergraph HH, a mixed covering array on HH with minimum size is called optimal. We outline necessary background in the theory of hypergraphs that is relevant to the study of covering arrays on hypergraphs. In this article, we introduce five basic hypergraph operations to construct optimal mixed covering arrays on hypergraphs. Using these operations, we provide constructions for optimal mixed covering arrays on αα-acyclic 3-uniform hypergraphs, conformal 3-uniform hypertrees having a binary tree as host tree, and on some specific 3-uniform cycle hypergraphs.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.