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