L. A. Clarke and D. J. Richardson, Symbolically evaluation -an aid to testing and evaluation, University of Massachussets Technical Report, Davis 87) L. Davis, M. Steenstrup, Genetic algorithms and simulated annealing : an overview, in, pp.1-11, 1983.

T. E. Davis, J. C. Principe, ;. K. Deb, D. E. Goldberg, and ;. R. Fletcher, An investigation of niche and species formation in genetic function optimization, Practical Methods of Optimization, vol.87, pp.42-50, 1987.

H. De-garis, Genetic Programming : building arti cial nervous systems using genetically programmed neural networks modules, Proceedings of the 7 th International Conference on Machine Learning, pp.132-139, 1990.

E. J. Haug and J. S. Arrora, Applied Optimal Design, 1979.

, Reconnaissance d'un detail d'une image par algorithmes g en etiques, technical report, Desquilbet 92) C. Desquilbet, F. Sassus, sous la direction de M. Schoenauer, pp.3-13, 1992.

J. W. Duran and S. C. Naftos, Genetic algorithms in search, optimization and machine learning, IEEE Transactions in Software Engineering, vol.10, issue.4, pp.438-444, 1980.

J. J. Grefenstette, Incorporating domain speci c knowledge into genetic algorithms, pp.42-60

J. Holland, Howden 77) W.E. Howden, Symbolic testing and the DISSECT symbolic evaluation system, IEEE Transactions in Software Engineering, vol.3, issue.4, pp.266-278, 1975.

B. Korel, Michalewicz 91) Z. Michalewicz, C. Z. Janikov, Handling constraints in genetic algorithms, Korel 90), vol.16, pp.151-157, 1990.

J. Paredis, Exploiting constraints as background knowledge for genetic algorithms : a case study, pp.229-238

N. J. , Radcli e, Equivalence Class Analysis of Genetic Algorithms, Complex Systems 5, pp.183-205, 1991.

J. T. Richardson, M. R. Palmer, G. Liepins, and M. Hilliard, Some guidelines for genetic algorithms with penalty functions, pp.191-197

M. Schoenauer and Z. Wu, Optimisation discr ete de structures par Algorithmes G en etiques, Actes du Colloque National en Calcul de Structures, Giens, Mai 1993. (Xanthakis 92) S. Xanthakis, C. Skourlas, An automatic tool for data ow veri cation of structured program, Proceedings of the 2 nd International Conference on Software Quality, Toulouse, 1992. (Zhigljavski 91) A. A. Zhigljavski, Theory of global random search, 1991.

, Genetic algorithms and simulated annealing, 1987.

, Proceedings of the 3 rd International Conference on Genetic Algoriothms, 1989.

R. K. Belew and L. B. Booker-editors, Proceedings of the 4 th International Conference on Genetic Algoriothms, 1991.

R. Manner and B. Manderick, Proceeding of the second conference on Parallel Problem Solving from Nature, 1992.