Génération de données de test basée sur les contraintes pour des programmes orientés base de données.