STarS: a target switching algorithm for sequential test generation. - Mark A. Heap; William A. Rogers; William B. Burns (VTS, 1991)