Knowledge Tree

researcher / Lydie du Bousquet

Lydie du Bousquet

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Test fonctionnel statistique de logiciels spécifiés en Lustre : application à la validation de services téléphoniques

Directed Thesis:

ParTraP : un langage pour la spécification et vérification à l'exécution de propriétés paramétriques

Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs 32 bits

Filtering and reduction techniques of combinatorial tests

Test fonctionnel de propriétés hybrides

Validation de métriques de testabilité logicielle pour les programmes objets