Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits, 2000. ,
Eclipse: An Introduction, 2003. ,
Automatic functional test generation using the extended finite state machine model, Proceedings of the 30th international on Design automation conference , DAC '93, pp.86-91, 1993. ,
DOI : 10.1145/157485.164585
Modeling and Generation of Test Patterns for Mixed-Signal Boards: Dealing with Basic Signals, Proceedings of the 6th IEEE International Board Test Workshop, p.7, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00783171
Timed functional modeling for mixed-signal boards in maintenance testing, Proceedings of the 7th IEEE Latin-American Test Workshop, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00607320
Timed functional modeling for mixed-signal boards in maintenance testing: A case study, LISYC, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00607343
Principles and methods of testing finite state machines-a survey, IEEE Transactions on Computers, 1996. ,
DOI : 10.1109/5.533956
SCICOS-a dynamic system builder and simulator, Proceedings of Joint Conference on Control Applications Intelligent Control and Computer Aided Control System Design, 1997. ,
DOI : 10.1109/CACSD.1996.555330
URL : https://hal.archives-ouvertes.fr/inria-00069964
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