Thème :
Apprentissage des invariants des programmes
Présentation :
Ce sujet traite de l'exploration des traces d'exécution des programmes pour l'apprentissage de propriétés cachées de programmes se présentant sous forme d'invariants ou même de propriétés temporelles. Plusieurs méthodes d'apprentissage sont utilisées ainsi que différentes façons de traiter les données des traces afin d'arriver à une comparaison objective de ces méthodes, voire même une catégorisation possible des techniques de découverte des invariants.
Thème :
Génération de critères de tests par les métaheuristiques
Présentation :
Dans un premier temps, nous nous intéressons à la génération des données de test selon une approche boîte grise. La spécification du test passe par une série de contraintes que l'on associe à différents points des programmes traités. Dans un deuxième temps, nous entendons étendre l'approche proposée en améliorant, d'une part, le langage de spécification des contraintes et aller, d'autre part, vers la génération d'une spécification de tests à travers l'induction de relations cachées entre les variables, par exemple, des programmes traités.
Thème :
Ordonnancement et vérification des aspects
Présentation :
Ce sujet tente d'apporter une solution au problème de composition des aspects en particulier, et aux problème de préservation des propriétés d'une manière générale. Le sujet traite également l'utilisation des systèmes de réécriture pour la modélisation et la vérification des aspects.