Ivan Enderlin , Julien Bianchi Praspel est un langage de spécification basé sur la programmation par contrats. Utilisé en annotations du code, c'est un langage simple unifiant plusieurs théories avancéees de validation et de vérification de données. Praspel est entre autres utilisé pour de la génération automatique de tests unitaires. Dans cette conférence, nous verrons diverses stratégies pour assurer une certaine qualité de code, en revenant sur les tests unitaires et la programmation par contrats. Ensuite, nous verrons comment Praspel répond à ces problématiques. Et enfin, nous verrons de quelle manière Praspel s'intègre aux outils industriels, notamment en générant automatiquement des tests unitaires exécutables avec atoum. Notons que Praspel est élaboré au sein des laboratoires de recherche de l'INRIA et de Femto-ST. 3 articles internationaux, 1 journal et 1 thèse ont d'ores et déjà été publiés. https://joind.in/talk/view/11236 Slides : http://keynote.hoa-project.net/PHPTour14/PHPTour14.html