Aourid, S. M. A., & Kaminska, B. (1997). Static Test Vector Compaction by the Set Covering Problem. (Rapport technique n° 1034). Non disponible