Système CADOC : génération fonctionnelle de test pour les circuits complexes. (CADOC system: functionnal generation of test for the complex circuits). - Jens A. Rarivomanana (1985)