TY - ICOMM AU - Leonard Gallagher C1 - internal:/None C2 - NISTGCR DA - 2005-12-01 LA - en PB - NISTGCR PY - 2005 TI - Generation of Test Cases from a Finite-State, Object-Oriented Speciation ER -