HOL-TestGen Version 1.8 USER GUIDE - IRT SystemX Accéder directement au contenu
Rapport (Rapport Technique) Année : 2016

HOL-TestGen Version 1.8 USER GUIDE

Domaines

Informatique
Fichier principal
Vignette du fichier
brucker.ea-hol-testgen-2016.pdf (1.12 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01765526 , version 1 (12-04-2018)

Identifiants

  • HAL Id : hal-01765526 , version 1

Citer

Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, et al.. HOL-TestGen Version 1.8 USER GUIDE. [Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016. ⟨hal-01765526⟩
484 Consultations
265 Téléchargements

Partager

Gmail Facebook X LinkedIn More