Knowledge Tree

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