Amit Kumar, Janusz Rajski, Sudhakar M. Reddy, Chen Wang: On the generation of compact test sets. ITC 2013: 1-10