Personal Information
Unternehmen/Arbeitsplatz
Nice Area, France France
Beruf
Docteur en Informatique, Université de Nice Sophia Antipolis
Branche
Technology / Software / Internet
Webseite
www.capv.toile-libre.org/
Info
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
Tags
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.
Mehr anzeigen
Präsentationen
(8)Personal Information
Unternehmen/Arbeitsplatz
Nice Area, France France
Beruf
Docteur en Informatique, Université de Nice Sophia Antipolis
Branche
Technology / Software / Internet
Webseite
www.capv.toile-libre.org/
Info
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
Tags
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.
Mehr anzeigen