On applying set covering models to test set compaction | IEEE Conference Publication | IEEE Xplore