HOL-TestGen Version 1.8 USER GUIDE - Archive ouverte HAL Access content directly
Reports (Technical Report) Year : 2016

HOL-TestGen Version 1.8 USER GUIDE

(1) , (2) , (3, 4, 5, 6, 7) , (3, 4, 5, 6, 7) , (3, 4, 5, 6, 7) , (3, 4, 5, 6, 7) , (3, 4, 5, 6, 7) , (3, 4, 5, 6, 7, 8) , (3, 4, 5, 6, 7, 8)
1
2
3
4
5
6
7
8
Fichier principal
Vignette du fichier
brucker.ea-hol-testgen-2016.pdf (1.12 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01765526 , version 1

Cite

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⟩
471 View
217 Download

Share

Gmail Facebook Twitter LinkedIn More