@PHDTHESIS{gotli2000,
url = "
		http://www.theses.fr/2000NICE5384",
title = "Generation automatique de cas de test structurel avec la programmation logique par contraintes",
author = "Gotlieb, Arnaud",
year = "2000",
pages = "124 p.",
note = "Thèse de doctorat dirigée par Rueher, Michel Sciences et techniques Nice 2000",
note = "2000NICE5384",
}