Knowledge Tree

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