On the generation of compact test sets
Amit Kumar, Janusz Rajski, Sudhakar M. Reddy, Chen Wang · 2013
New methods are proposed to guide line justification and fault propagation in test generation procedures to derive compact test sets. Experiments on several industrial designs yielded, on average, 24% reduction in test set sizes.