2008 – Orsay

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

Les commentaires sont clos.