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
Journal of Combinatorial Theory, Series A
Andrei Kirshin, Dany Moshkovich, et al.
ECMS 2006
Ahmed M. Assaf, Alan Hartman, et al.
Discrete Mathematics