Conference paper
The AGEDIS tools for model based testing
Alan Hartman, Kenneth Nagin
UML Satellite Activities 2004
Covering arrays are combinatorial structures which extend the notion of orthogonal arrays and have applications in the realm of software testing. In this paper we raise several new problems motivated by these applications and discuss algorithms for their solution. © 2004 Elsevier B.V. All rights reserved.
Alan Hartman, Kenneth Nagin
UML Satellite Activities 2004
Alan Hartman
Discrete Mathematics
Arun Sharma, G.R. Gangadharan, et al.
SOLI 2011
Alan Hartman, Dean G. Hoffman
European Journal of Combinatorics