Outils d'aide à la décision dans le test de systèmes logiques. - Ali Mili 002 (1978)