Equipes
  Test Formel et Exploration de Systèmes

Equipes-projets Inria communes


Resultats majeurs
  Coverage-biased random explo-ration of large models and application to testing
  On Theorem Prover-based Testing
  A new dichotomic algorithm for the uniform random generation of words in regular languages

Contrats
  WebMov
  Usine Logicielle
  HOL-TestGen XT

Logiciels et brevets
  sALLUSTe
  RUKIA

Collaborations


Membres
  GOURAUD Sandrine
  FAYOLLE Julien
  PEYRONNET Sylvain
  OUDINET Johan
  BENTAKOUK Lina
  LASSAIGNE Richard
  LALLALI Mounir

Thèses et habilitations
  Utilisation des Structures Combinatoires pour le Test Statistique
  Contributions au test de logiciel basé sur des spécifications formelles
  Approches combinatoires pour le test statistique à grande échelle
  Test symbolique de services Web composites

° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° biologie synthetique
° Calcul à haute performance
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Distributed Design
° Fab lab
° Fabrication Numérique
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs