Testium: outil de génération automatique de données de test pour les systèmes synchrones - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Testium: outil de génération automatique de données de test pour les systèmes synchrones

Tka Mouna
  • Fonction : Auteur
Conception et Test de SYStèmes embarqués
Christophe Deleuze
  • Fonction : Auteur
  • PersonId : 897257
Conception et Test de SYStèmes embarqués
Ioannis Parissis
Conception et Test de SYStèmes embarqués

Domaines

Génie logiciel [cs.SE] Informatique [cs]

Ioannis Parissis  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01717444

Soumis le : lundi 26 février 2018-13:17:59

Dernière modification le : jeudi 4 avril 2024-20:58:32

Fichier non déposé

Dates et versions

hal-01717444 , version 1 (26-02-2018)

Identifiants

  • HAL Id : hal-01717444 , version 1

Citer

Tka Mouna, Christophe Deleuze, Ioannis Parissis. Testium: outil de génération automatique de données de test pour les systèmes synchrones. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. ⟨hal-01717444⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA LCIS
40 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More