Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Bruno Legeard

Bruno Legeard

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Prototypage de logiciels avec le langage PROLOG : méthode et outils

Directed Thesis:

Approche Agile du Model-Based Testing pour les tests fonctionnels des SI d’entreprise
Conception et génération de tests par altération de données pour les systèmes de contrôle et de surveillance des transports : application aux domaines aérien et maritime
A pattern-driven and model-based vulnerability testing for Web applications
Evaluation symbolique à contraintes pour la validation : application à Java/JML
Procédures de recherche en génération de testes à partir de modèles de spécifications
Contraintes ensemblistes et fonctions graduées en programmation logique avec contraintes
Procedures d'optimisation exactes et approchees sur les structures de sequence contrainte
Contraintes ensemblistes et resolution multi-solveurs en programmation logique avec contraintes
Resolution de contraintes sur les sequences en programmation logique avec contraintes
Intervalles ensemblistes en programmation logique par contraintes : definition formelle et concrete d'un langage