Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Arnaud Gotlieb

Arnaud Gotlieb

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Generation automatique de cas de test structurel avec la programmation logique par contraintes

Directed Thesis:

Approche à contraintes pour la sélection de Covering Array
Généralisation de chemins infaisables pour l'exécution symbolique
Méthodologie et outil de Test, de localisation de fautes et de correction automatique des programmes à contraintes
Modélisation par contraintes de programmes en bytecode java pour la génération automatique de tests