Lapierre, S. (1997). Description of TAO test data generation system. (Rapport technique n° EPM-RT-97-25). Accès restreint