On the compaction of test sets produced by genetic optimization | IEEE Conference Publication | IEEE Xplore