Journées MTVV - Grenoble - 28 et 29 juin 2010
Programme
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
Dernière mise à jour 24 juin 2010