Groupe de travail

Méthodes de Test pour la Vérification et la Validation
MTV2

Réunion MTV2 du 27 novembre 2008 à Orsay

Une première réunion autour de la thématique "Contraintes et Tests" se réunira à Orsay (Université de Paris-Sud) le jeudi 27 novembre de 10h à 17h30.

La salle de réunion est située bat.490, salle 13

Programme

10h - Accueil / café / thé

10h30-12h - Première session

  • Sagar Sen (IRISA) - Building effective modelling domains for testing
  • Bruno Berstel (ILOG) - Contraintes pour l'analyse statique de programmes de règles
  • Mickael Delahaye (CEA)

12h-13h30 - Déjeuner / discussions

13h30-14h40 - Exposé invité

  • Andreas Podelski (Université de Freiburg) - Constraint-based Abstraction in Verification

14h30-16h - Seconde session

  • Florence Charreteur (IRISA) - Raisonnement à contraintes pour le test de bytecode Java
  • Christophe Junke (CEA) - Génération de séquences de test à partir de modèles flots de données contrôlés par des automates synchrones
  • Matthieu Carlier (ENSIIE) - Test de propriétés en FOCAL

16h-16h30 - Pause / café / thé

16h30-17h30 - Discussion Journées Nationales du GDR-GPL