TY - THES DP - http://www.theses.fr/2011REN1S115 TI - Méthodologie et outil de Test, de localisation de fautes et de correction automatique des programmes à contraintes AU - Lazaar, Nadjib A3 - Jensen, Thomas; Gotlieb, Arnaud PY - 2011 SP - 1 vol. (161 p.) N1 - Thèse de doctorat Informatique Rennes 1 2011 N1 - 2011REN1S115 ER -