|
Lundi 28 Juin
- Accueil de 11h30 à 12h15 à la MJK pour un départ vers le repas
- Session 1: 14h-15h30
- Généralisation de chemins infaisables à partir d'explication pour la génération
de tests structurels, Mickaël Delahaye (CEA-LIST)
- On testing constraint programs, Nadjib Lazaar (IRISA)
- A characterization of insecure execution paths based on taint dependency
sequences, Dumitru Ceara (U. Grenoble)
- Pause 15h30-16h
- Session 2: 16h-17h
- Vers une méthode de validation de modèles formels AltaRica, Romain Adeline (Onera/Turbomeca)
- Critères de tests pour les automates de Scade 6,
Christophe Junke (CEA-LIST)
- Défis 1: 17h-17h45
Animation: Arnaud Gotlieb, Roland Groz, Fatiha Zaidi
Mardi 29 Juin
- Session 3: 8h30-10h,
- What can You Verify and Enforce at Runtime ?
Ylies Falcone (IRISA)
- Passive testing of protocol data with invariants for an IMS PoC service,
Felipe Lalanne (Institut Télécom)
- Test de Composition de Services Web
Jose Escobedo (ECP MAS)
- Pause 10h-10h30
- Session 4: 10h30-11h30
- Sécurisation des services web via une méthode de test,
Issam Rabhi (Limos)
- Recherche de vulnérabilités par frelatage intelligent ("smart fuzzing"),
Sofia Bekrar (U. Grenoble/Vupen)
- Défis 2: 11h30-12h15
- 12h15-12h30: clôture
|
|
|