M. L. Bushnell and V. D. , Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits, 2000.

N. B. Hamida and B. Kaminska, Analog circuit testing based on sensitivity computation and new circuit modeling, Proceedings of IEEE International Test Conference, (ITC), pp.652-661, 1993.
DOI : 10.1109/TEST.1993.470638

B. Ayari, N. Benhamida, and B. Kaminska, Automatic test vector generation for mixed-signal circuits, Proceedings the European Design and Test Conference. ED&TC 1995, pp.458-463, 1995.
DOI : 10.1109/EDTC.1995.470320

R. Ramadoss and M. Bushnell, Test Generation for Mixed-Signal Devices using Signal Flow Graphs Automatic Functional Test Generation Using the Extended Finite State Machine Model, 9th Internation Conf. on VLSI Design 30th ACM/IEEE Design Automation Conference, pp.242-248, 1993.

C. Paoli, M. Nivet, and J. Santucci, Use of constraint solving in order to generate test vectors for behavioral validation, Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786), p.0, 2000.
DOI : 10.1109/HLDVT.2000.889553

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

B. Gilles, V. Nicolas, L. Lemarchand, L. Marcé, and B. Castel, Towards a New Modelling of Mixed- Signal Boards For Maintenance Testing, 11th IEEE International Mixed-Signals Testing Workshop, IMSTW'05, pp.90-97, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00607349

D. Lee and M. Yannakakis, Principles and methods of testing finite state machines-a survey, IEEE Transactions on Computers, 1996.
DOI : 10.1109/5.533956

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

V. Nicolas, B. Gilles, L. Lemarchand, L. Marcé, and B. Castel, A Maintenance-Oriented Board Testing Approach, 3rd IEEE International East-West Design and Test Workshop, EWDTW'05, pp.143-147, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00607357

I. G. Harris, Fault Models and Test generation for Hardware-Software Covalidation, IEEE Design & Test of Computers, pp.40-47, 2003.

R. A. Demillo and A. J. Offutt, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991.
DOI : 10.1109/32.92910

A. M. Cheadle, W. Harvey, A. J. Sadler, J. Schimpf, K. Shen et al., Eclipse: An Introduction, 2003.

B. Gilles, V. Nicolas, L. Lemarchand, and L. Marcé, Timed Functional Modeling for Mixed- Signal Boards in Maintenance Testing, 7th IEEE Latin-American Test Workshop, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00607320