Aourid, S. M. A., & Kaminska, B. (1997). Static Test Vector Compaction by the Set Covering Problem. (Technical Report n° 1034). Unavailable