Théorie de Test des programmes à contraintes: Méthodologie et outil de test, de localisation des fautes et de correction automatique des programmes à contraintes (Omn.Univ.Europ.)