C. Alippi, M. Catelani, A. Fort, and M. Mugnaini, Automated Selection of Test Frequencies for Fault Diagnosis in Analog Electronic Circuits, IEEE Transactions on Instrumentation and Measurement, vol.54, issue.3, pp.1033-1044, 2005.
DOI : 10.1109/TIM.2005.847115

F. Grasso, A. Luchetta, S. Manetti, and M. Piccirilli, A Method for the Automatic Selection of Test Frequencies in Analog Fault Diagnosis, IEEE Transactions on Instrumentation and Measurement, vol.56, issue.6, pp.2322-2329, 2007.
DOI : 10.1109/TIM.2007.907947

S. Mir, M. Lubaszewski, and B. Courtois, Fault-based ATPG for linear analog circuits with minimal size multifrequency test sets, Journal of Electronic Testing, vol.8, issue.2, pp.43-57, 1996.
DOI : 10.1007/BF00137564

URL : https://hal.archives-ouvertes.fr/hal-00013266

E. Balas and M. C. Carrera, A Dynamic Subgradient-Based Branch-and-Bound Procedure for Set Covering, Operations Research, vol.44, issue.6, pp.875-890, 1996.
DOI : 10.1287/opre.44.6.875

J. E. Beasley, A lagrangian heuristic for set-covering problems, Naval Research Logistics, vol.15, issue.1, pp.151-164, 1990.
DOI : 10.1002/1520-6750(199002)37:1<151::AID-NAV3220370110>3.0.CO;2-2

J. E. Beasley and P. C. Chu, A genetic algorithm for the set covering problem, European Journal of Operational Research, vol.94, issue.2, pp.392-404, 1996.
DOI : 10.1016/0377-2217(95)00159-X

J. E. Beasley, OR-Library: Distributing Test Problems by Electronic Mail, Journal of the Operational Research Society, vol.41, issue.11, pp.1069-1072, 1990.
DOI : 10.1057/jors.1990.166

M. Garey and D. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, 1979.

M. Dom, Recognition, Generation, and Application of Binary Matrices with the Consecutive-Ones Property, 2008.

J. Matou?-sek and B. Gärtner, Understanding and Using Linear Programming, 2007.

A. Ghouila-houri, Caractérisation des matrices totalement unimodulaires, C. R. Acad. Sci. Paris, vol.254, pp.1192-1194, 1962.

A. J. Hoffman and J. B. , Integral boundary points of convex polyhedra, Linear Inequalities and Related Systems, pp.223-246, 1956.

M. Bentobache and M. O. Bibi, A Two-Phase Support Method for Solving Linear Programs: Numerical Experiments, Mathematical Problems in Engineering, vol.10, issue.2, pp.10-1155, 2012.
DOI : 10.1007/BF01584548

M. Bentobache, A. Bounceur, and R. Euler, Une application efficace du probì eme de recouvrement au test de circuits analogiques, Proceedings of ROADEF 2012, pp.424-425, 2012.

A. F. Veinott and H. M. Wagner, Optimal Capacity Scheduling???I, Operations Research, vol.10, issue.4, pp.518-547, 1962.
DOI : 10.1287/opre.10.4.518

A. Bounceur, CAO Platform for mixed circuit testing, Grenoble INP, 2007.

A. Bounceur, S. Mir, L. Rolíndez, and E. Simeu, CAT platform for analogue and mixed-signal test evaluation and optimization. Chapter, IFIP International Federation for Information Processing VLSI- SoC: Research trends in VLSI and Systems on Chip. G. De Micheli, S
URL : https://hal.archives-ouvertes.fr/hal-00202160

I. Ilog-cplex, Software available at http://www- 01.ibm.com/software