STarS: a target switching algorithm for sequential test generation.

Mark A. Heap, William A. Rogers, William B. Burns

Browse the full VTS paper archive.