Skip to Main content Skip to Navigation
Reports

HOL-TestGen Version 1.8 USER GUIDE

Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01765526
Contributor : Burkhart Wolff <>
Submitted on : Thursday, April 12, 2018 - 9:13:54 PM
Last modification on : Monday, February 10, 2020 - 6:14:08 PM

File

brucker.ea-hol-testgen-2016.pd...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01765526, version 1

Citation

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

Share

Metrics

Record views

657

Files downloads

156