Personal Information
Entreprise/Lieu de travail
Nice Area, France France
Profession
Docteur en Informatique, Université de Nice Sophia Antipolis
Secteur d’activité
Technology / Software / Internet
Site Web
www.capv.toile-libre.org/
À propos
Je suis un docteur en Informatique de l'Université Nice Sophia Antipolis.
Mes intérêts de recherche se concentrent principalement sur le génie logiciel, en particulier le test, le bounded model checking et la localisation d'erreurs dans les programmes impératifs. Je suis aussi intéressé par la programmation par contraintes et les techniques utilisées pour le diagnostic des systèmes de contraintes incorrects. Durant ma thèse, je me suis focalisé sur la proposition et la validation d'une approche qui se fonde sur la programmation par contraintes pour assister le programmeur dans la tâche de localisation des erreurs pour traiter efficacement les programmes avec calculs numériqu
Mots-clés
constraints ; testing and debugging ; debugging ai
localisation des erreurs
programmation par contraintes
debugging
constraint programming
program verification
testing
bugassist
locfaults
error localization
minimal correction deviations
minimal correction subsets
minimal correction subset
algorithme incrémental
contraintes; test et débogage; débogage aides; d
débogage de programmes
vérification de programmes
error localization.
Tout plus
Présentations
(8)Personal Information
Entreprise/Lieu de travail
Nice Area, France France
Profession
Docteur en Informatique, Université de Nice Sophia Antipolis
Secteur d’activité
Technology / Software / Internet
Site Web
www.capv.toile-libre.org/
À propos
Je suis un docteur en Informatique de l'Université Nice Sophia Antipolis.
Mes intérêts de recherche se concentrent principalement sur le génie logiciel, en particulier le test, le bounded model checking et la localisation d'erreurs dans les programmes impératifs. Je suis aussi intéressé par la programmation par contraintes et les techniques utilisées pour le diagnostic des systèmes de contraintes incorrects. Durant ma thèse, je me suis focalisé sur la proposition et la validation d'une approche qui se fonde sur la programmation par contraintes pour assister le programmeur dans la tâche de localisation des erreurs pour traiter efficacement les programmes avec calculs numériqu
Mots-clés
constraints ; testing and debugging ; debugging ai
localisation des erreurs
programmation par contraintes
debugging
constraint programming
program verification
testing
bugassist
locfaults
error localization
minimal correction deviations
minimal correction subsets
minimal correction subset
algorithme incrémental
contraintes; test et débogage; débogage aides; d
débogage de programmes
vérification de programmes
error localization.
Tout plus