HOL-TestGen Version 1.8 USER GUIDE

Authors :: Achim Brucker
Lukas Brügger
Abderrahmane Feliachi
Chantal Keller
Matthias Krieger
Delphine Longuet
Yakoub Nemouchi
Frédéric Tuong
Burkhart Wolff
Institute of Information Security [ETH Zürich]
Department of Computer Science [ETH Zürich] (D-INFK)
Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich)- Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich)
Department of Biosystems Science and Engineering [ETH Zürich] (D-BSSE)
Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich)
Laboratoire de Recherche en Informatique (LRI)
CentraleSupélec-Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS)
Université Paris-Sud - Paris 11 (UP11)
Centre National de la Recherche Scientifique (CNRS)
CentraleSupélec
Université Paris-Saclay
IRT SystemX (IRT SystemX)
Univeristé Paris-Saclay
LRI - CNRS, University Paris-Sud
Source :: HAL, [Technical Report] Univeristé Paris-Saclay; LRI-CNRS, University Paris-Sud. 2016

Database :: OpenAIRE
Journal :: HAL, [Technical Report] Univeristé Paris-Saclay; LRI-CNRS, University Paris-Sud. 2016
Accession number :: edsair.dedup.wf.001..40b30c77786139367e44e2bccc0ce4f7

Tools