Génération automatique d'algorithmes de détection des défauts de conception.